Tweaks to codegen to generate better inner loops on x86-64

Upgraded load indices to 64-bit just before load.

Added NSW to signed integer math. I think this is
legit, because the optimizations we already perform
don't respect wrap behavior.