Replace shr_ro by overflow-free alternatives

Replace the shr_ro operator by some basop operations without overflow handling