eip-7825: transaction gas limit cap#2834

anvacaru wants to merge 2 commits intomasterruntimeverification/evm-semantics:masterfrom

eip-7825runtimeverification/evm-semantics:eip-7825Copy head branch name to clipboard