Implement a more precise test for when we can skip exact bounds checks