(Binary Analysis) More symbolic simplifications

* (add x (invert x)) => -1

* (asr a (asr b c)) => (asr (add a b) c)

* more sorting of operands for commutative operators