Add bounds checking opcode