* op-e2e: Add test demonstrating incorrect alphabet trace implementation.

* rebase fixes

* op-e2e: Skip known broken tests.

* op-e2e: Add exhaustive alphabet test

* op-challenger: fix alphabet trace provider to use l2 block number

* fix up step function calculations

* fix challenger tests

* op-challenger: convert the absolute prestate directly to a big int

* op-challenger: stash inlined calculations to implement iterative step loop

* fix state data construction

* fix(op-challenger): Iterative Step Loop Implementation (#8843)

* Fix formatting.

* op-challenger: Fix off by one error in alphabet trace provider.

Updates the e2e tests to hit the case where the honest challenger calls step to prove their claim is correct.
This requires the on-chain VM execution to match the challenger's version.

---------
Co-authored-by: refcell <abigger87@gmail.com>