feat(host): Interop proof support (part 1)

[clabby]

Overview

Adds a mode to the host that supports the first sub-problem of the interop proof. Contains some refactors + fixes for the kona-proof code, interop L1 info tx support, and some other odds and ends to get this working. A bit of a mega PR, apologies.

[codecov]

Codecov Report

Attention: Patch coverage is 30.76923% with 9 lines in your changes missing coverage. Please review.

Project coverage is 82.2%. Comparing base (f912b89) to head (f203d24).
Report is 1 commits behind head on main.

✅ All tests successful. No failed tests found.

Files with missing lines	Patch %	Lines
crates/derive/src/attributes/stateful.rs	44.4%	5 Missing ⚠️
crates/driver/src/core.rs	0.0%	3 Missing ⚠️
crates/executor/src/executor/env.rs	0.0%	1 Missing ⚠️

Additional details and impacted files

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.