* 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.

---------
Co-authored-by: Adrian Sutton <adrian@oplabs.co>