Implement EIP-8024 in legacy codegen

[frangio]

Evmone doesn't implement this EIP yet, but I was able to run the semantic test in this PR against a fork. (I don't feel confident in that implementation to push it upstream.)

[github-actions]

Thank you for your contribution to the Solidity compiler! A team member will follow up shortly.

If you haven't read our contributing guidelines and our review checklist before, please do it now, this makes the reviewing process and accepting your contribution smoother.

If you have any questions or need our help, feel free to post them in the PR or talk to us directly on the #solidity-dev channel on Matrix.

[chfast]

Feel free to open a draft PR in evmone (at least for visibility)

[r0qs]

Hi @frangio, thank you for the contribution! I've taken a first look and it looks good overall. Could you also add the EXCHANGE opcode?

Since we're reusing part of the EOF work, it would be great to also add an implementation for via-IR.

Also, as a note for the future in case this EIP is accepted: @clonker, we may need to adjust

solidity/libyul/backends/evm/ssa/Stack.h

Line 164 in e98ec36

static size_t constexpr reachableStackDepth = 16;

for the SSA-CFG pipeline.

As we briefly discussed during the call, we still need to wait for evmone support before we can properly test this.

[frangio]

Still blocked on evmone.

I've rebased on top of develop, updated to match the spec changes in devnet-3, and added disassembly.

There's still work to do. It'd be good to have a list of to-do's.