fix reduction op bug ConstantPropagation (#1746) (#1810)

* add const prop bitwise reduction equivalence test

* mask negative literals when propagating reduction

* change widths

* get rid of unnecessary if

* add BigInt mask utility