Refactoring eip-4844#2752

automergerpr-permission-manager[bot] merged 12 commits intomasterruntimeverification/evm-semantics:masterfrom

eip-4844-refactorruntimeverification/evm-semantics:eip-4844-refactorCopy head branch name to clipboard