Refactor `zero_bin` leader cli #829

Job	Run time
Test trace_decoder	2m 21s
Test evm_arithmetization	10m 14s
Execute bash script to generate and verify a proof for a small block.	9m 14s
Execute bash script to generate and verify a proof for multiple blocks using parallel proving.	11m 12s
Execute bash script to generate the proof witness for a small block.	2m 2s
Test mpt_trie	1m 38s
Test proof_gen	2m 2s
Test zero_bin	14m 27s
Rustdoc, Formatting and Clippy	4m 33s
	57m 43s

Provide feedback