(Support) Added IntegerOps::isPowerOfTwo()
(Binary Analysis) Added simplification for the three symbolic shift operators

   (shift AMT1 (shift AMT2 VALUE)) ==>
      (shift (add AMT1 AMT2) VALUE)

Usually the shift amounts are concrete, so constant folding usually happens:

   (shift 5 (shift 6 VALUE)) ==> (shift 11 VALUE)
(Binary Analysis) Added test case for shift operator simplification