Explicit checks of array bounds in *ASTORE instructions