Shift operators are undefined in some situations

[brson]

When shifting by greater than the bit width of the type or negative values, the results are undefined. As discussed in #1570, it might be nice if this was not the case.