Impl guest side verification

[ercecan]

Description

MERGE AFTER #1336
Initial pr that prepares the foundation for #1306
After merged, for testing Risc0's FakeReceipts will be used with RISC0_DEV_MODE enabled

Linked Issues

• Related to Implement guest side proof verification #1306

[codecov]

Codecov Report

Attention: Patch coverage is 12.50000% with 28 lines in your changes missing coverage. Please review.

Project coverage is 78.3%. Comparing base (978ca6f) to head (b2351cc).
Report is 4 commits behind head on nightly.

Files with missing lines	Patch %	Lines
...ates/sovereign-sdk/adapters/risc0/src/guest/mod.rs	0.0%	15 Missing ⚠️
crates/risc0-bonsai/src/host.rs	26.6%	11 Missing ⚠️
crates/sovereign-sdk/adapters/mock-zkvm/src/lib.rs	0.0%	2 Missing ⚠️

Additional details and impacted files

Files with missing lines	Coverage Δ
...n-sdk/rollup-interface/src/state_machine/zk/mod.rs	100.0% <ø> (ø)
crates/sovereign-sdk/adapters/mock-zkvm/src/lib.rs	63.6% <0.0%> (-0.9%)	⬇️
crates/risc0-bonsai/src/host.rs	17.0% <26.6%> (-0.5%)	⬇️
...ates/sovereign-sdk/adapters/risc0/src/guest/mod.rs	0.0% <0.0%> (ø)

... and 21 files with indirect coverage changes

[eyusufatik]

call this fake receipt or test receipt