WEB3-213: add `SteelVerifier` to verify Steel commitments in the guest #1166

Job	Run time
check	17s
clippy (Linux, default, cpu)	1m 52s
doc	34s
docs-rs	26s
examples (Linux, default, cpu)	1m 49s
test-risc0-ethereum (Linux, default, cpu)	1m 52s
test-risc0-ethereum (Linux, cuda, nvidia_rtx_a5000)	1m 49s
test-risc0-ethereum (macOS, default, apple_m2_pro)	1m 43s
main-status-check	2s
	10m 24s

Provide feedback