feat(host): Interop optimistic block re-execution hint

[clabby]

Overview

Adds a hint for the re-execution of optimistic blocks. In the interop proof, during consolidation, this is required to be able to actually fetch the preimages for the optimistic blocks in the reorg case (i.e., where the original L2 block derived from L1 was reorg'd out due to invalid dependencies.)

This method is a bit of a hack, and we're starting to feel the pain of kona-driver's lack of versatility here. The refactor of that crate is tracked in #914, and I'd like to get to that soon, but it's not necessary for this to work. This is much better than the alternative, though, and we can get rid of kona-providers-alloy once again.

[codecov]

Codecov Report

Attention: Patch coverage is 0% with 10 lines in your changes missing coverage. Please review.

Project coverage is 88.7%. Comparing base (57f59b7) to head (d1e76b3).
Report is 1 commits behind head on main.

✅ All tests successful. No failed tests found.

Files with missing lines	Patch %	Lines
crates/driver/src/core.rs	0.0%	10 Missing ⚠️

Additional details and impacted files

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