bump to 4.26 with name clashes resolved#5

dhsorens wants to merge 2 commits intoNethermindEth:masterNethermindEth/ExtTreeMapLemmas:masterfrom

Verified-zkEVM:dhsorens/bump_to_4_26Verified-zkEVM/ExtTreeMapLemmas:dhsorens/bump_to_4_26Copy head branch name to clipboard