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.
This warning looks like it triggers on negative shifts too. Maybe add another simplification rule that converts shifts by a negative amount to the other kind of shift.