doc: Update doc for `evm_arithmetization` and add CI lint for RustDoc #2017

Job	Run time
Test mpt_trie	1m 36s
Test trace_decoder	4m 12s
Test evm_arithmetization	10m 57s
Execute bash script to generate and verify a proof for a small block.	6m 50s
Execute bash script to generate the proof witness for a small block.	1m 52s
Test zero_bin	7m 58s
Test zk_evm_proc_macro	56s
Rustdoc, Formatting and Clippy	3m 5s
Execute bash script to generate and verify a proof for multiple blocks using parallel proving.	5m 31s
	42m 57s

Provide feedback