Bring `smt_trie` into `develop` #852

Job	Run time
Execute bash script to generate and verify a proof for a small block.	9m 19s
Rustdoc, Formatting and Clippy	4m 46s
Execute bash script to generate and verify a proof for multiple blocks using parallel proving.	11m 25s
Execute bash script to generate the proof witness for a small block.	2m 23s
Test evm_arithmetization	10m 26s
Test mpt_trie	1m 43s
Test proof_gen	2m 21s
Test trace_decoder	2m 30s
Test zero_bin	12m 0s
	56m 53s

Provide feedback