Constant prop binary PrimOps with matching arguments (bp #1361) (#1395)

* Constant prop binary PrimOps with matching arguments

* Modified version for 1.2.x
* Adapt trait hierarchy for clean backport
* Add SimplifyBinaryOp trait
* Add extra functionality to comparison folding
* Add tests
* Fix comments from review

* Add Ops equiv check to stress degenerate binary op ConstProp

* Send in the Yosys

(cherry picked from commit 555d1e43

)

Co-authored-by: Albert Magyar <albert.magyar@gmail.com>