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.
Is this correct? Shouldn't it be "ui >= (uint)t.imin() && (uint)-1 <= ui?" Assuming 2's complement of course.