Merge develop into `feat/continuations` #957

Job	Run time
Execute bash script to generate the proof witness for a small block.	2m 21s
Execute bash script to generate and verify a proof for a small block.	11m 44s
Rustdoc, Formatting and Clippy	5m 12s
Execute bash script to generate and verify a proof for multiple blocks using parallel proving.	12m 44s
Test evm_arithmetization	13m 35s
Test mpt_trie	1m 28s
Test proof_gen	2m 25s
Test trace_decoder	2m 30s
Test zero_bin	14m 8s
Test zk_evm_proc_macro	56s
	1h 7m 3s

Provide feedback