The symbolic execution engine in Halmos currently fails when processing bytecode that contains the MCOPY…

The symbolic execution engine in Halmos currently fails when processing bytecode that contains the MCOPY…: a task in LegoFlow-SWE (Harbor dataset). Reproduction - A contract bytecode that includes MCOPY (0x5E). - Running Halmos on that bytecode leads to an error like: HalmosException('Unsupported…

The task

Reproduction - A contract bytecode that includes `MCOPY` (0x5E). - Running Halmos on that bytecode leads to an error like: `HalmosException('Unsupported opcode 0x5e')` or a similar unhandled opcode failure.

Part of Lego-X/LegoFlow-SWE.