chore(clippy): misc clippy fixes #6695

Job	Run time
Build patches and zkvm in host	1m 21s
Cargo Check	5m 27s
Check Verifier `no_std`	1m 18s
Examples	5m 40s
Formatting & Clippy	5m 27s
Check lock files	2m 25s
Test (ARM)	31m 55s
Test Verifier Crate	16m 5s
Test (x86-64)	31m 19s
Spell Check	3m 9s
	1h 44m 6s

Provide feedback