BoundsChecking: optimize out the check for offset < 0 if size is known to be >=...