Adding lemmas about EVM state and addresses#7

Coda-Coda wants to merge 3 commits intomainNethermindEth/Clear:mainfrom

lemmas-evm-state-and-addressNethermindEth/Clear:lemmas-evm-state-and-addressCopy head branch name to clipboard