JIT: some more integer optimizations

This isn't that heavily tested so it could probably use a JMC pass or two and a sanity check by some other eyes
@unknownbrackets No, it's 32-bit.

@FioraAeterna The more important thing is that the check doesn't actually prevent the overflow you're trying to prevent in the general case.  The C++ representation of the offset isn't relevant.