Chef: fix opcode jump table
Chef: disabling opcode prediction when in symbex mode