Fix overshift check

Shifting by bitwidth-1 is valid. Fixes issue #184