Fix overshift check

Shifting by bitwidth-1 is valid