[jit] Make ABCREM really remove bounds checks, not just when running with -v -v ...