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.
I think this condition should be if (shift_left) now, with the new code above.