Bump evmone to 0.13.0 and define Osaka as a supported EVM version

[cameel]

The ability to execute all semantic tests requires an update to evmone 0.13.0.

While at it, we should also add Osaka as a valid EVM version and move all the currently implemented EOF functionality to it to match evmone/evmc.

[cameel]

Small correction: I just realized that we're already on the latest EVMC v12 (#15320). It's evmone that we need to update here.

[floor-licker]

@roqs are you still doing this or could I take a shot at it? I've read the past PRs involving updating evmone versions and I think I get the idea. Looks like there's just a handful of changes to be made in scripts/install_evmone.ps1 , scripts/install_evmone.ps1, and test/Common.h.

[r0qs]

To keep track of what needs to be done:

• Bump evmone to 0.13.0 in buildpacks-deps images (Bump evmone to 0.13.0 #15825)
• Bump evmone to 0.13.0 in CI (Bump evmone to v0.13.0 in CI #15829)
• Add evm version Osaka (Introduces EVM version Osaka #15830)
• Move EOF to Osaka (Moves EOF tests from Prague to Osaka #15828)

[r0qs]

@roqs are you still doing this or could I take a shot at it? I've read the past PRs involving updating evmone versions and I think I get the idea. Looks like there's just a handful of changes to be made in scripts/install_evmone.ps1 , scripts/install_evmone.ps1, and test/Common.h.

Thanks for offering to help @floor-licker! But I'm already working on this, as the update involves more steps beyond just modifying those files. There are additional changes needed to ensure everything integrates properly.