Update to conformance test suite#2742

automergerpr-permission-manager[bot] merged 10 commits into

masterruntimeverification/evm-semantics:masterfrom

conformance-tests-updateruntimeverification/evm-semantics:conformance-tests-updateCopy head branch name to clipboard