Implement bounds checking for the ssa.Index instruction