refactor: StateTrie operations are keyed by Address where possible (#… #1527

Job	Run time
Execute bash script to generate and verify a proof for a small block.	7m 3s
Rustdoc, Formatting and Clippy	5m 30s
Execute bash script to generate and verify a proof for multiple blocks using parallel proving.	5m 17s
Execute bash script to generate the proof witness for a small block.	1m 48s
Test evm_arithmetization	12m 52s
Test mpt_trie	1m 35s
Test proof_gen	2m 10s
Test trace_decoder	2m 33s
Test zero_bin	14m 36s
Test zk_evm_proc_macro	56s
	54m 20s

Provide feedback