fix: counts and small shape fixing #6792

Job	Run time
Examples	5m 47s
Check Verifier `no_std`	1m 35s
Cargo Check	6m 30s
Build patches and zkvm in host	1m 32s
Formatting & Clippy	6m 23s
Check lock files	6m 18s
Test (ARM)	31m 55s
Test Verifier Crate	16m 24s
Test (x86-64)	31m 57s
Spell Check	57s
	1h 49m 18s

Provide feedback