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

(LLVM optimizers cannot do this optimization by themselves)

llvm-svn: 159668