Missed optimization opportunity for bounds checks

Previous discussion on this topic: More musings about slices and arrays