Take index type into account in dynamic memory explicit bounds checks

[fitzgen]

In the general case, we do a bunch of uadd_overflow_traps, but we shouldn't need to worry about overflow for 32-bit Wasm memories on 64-bit targets.