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

Job	Run time
doc	45s
clippy (Linux, default, cpu)	4m 52s
check	32s
docs-rs	31s
examples (Linux, default, cpu)	6m 55s
test-risc0-ethereum (Linux, default, cpu)	3m 8s
test-risc0-ethereum (Linux, cuda, nvidia_rtx_a5000)	4m 55s
test-risc0-ethereum (macOS, default, apple_m2_pro)	3m 28s
main-status-check	1s
	25m 7s

Provide feedback