Replace shl_ro by overflow-free alternatives

Get rid of overflow handling:

set shl_ro ro shr_r and see whats happening