New simplify rule for bitshift operators

Added a rule to replace bitshifts by a constant value to a divide by the corresponding power of two.
If ib >= 32 (e.g. when t.bits = 64), the code below isn't going to work very well. I suggest adding ib < 32 to the condition.