Since we introduced side exits, ENTER_EXECUTOR doesn't always overwrite a JUMP_BACKWARD opcode -- it may overwrite any other opcode too. This requires changes to the logic of ENTER_EXECUTOR.

CC: @iritkatriel