Drive by comment

[crusso]

This code is super expensive

evm.mo/src/evm_mo_backend/op_5E_MCOPY.mo

Line 52 in 4f74236

temp := Array.append<Nat8>(temp, [Vec.get(exVar.memory, sourceOffset + i)]);

The iterated append will be quadratic in cost and memory allocation.

At the very least, it would be better to just Array.init(length, 0) and write to the this one array before copying it out. Even better would be to optimize for the case there is no overlap...

[icdevs]

Thank you! A performance overhaul is at the top of the list. If you see anything else, let us know.