add asserts to catch all shl_sat, replacing shl_ro