* op-challenger: Add a wrapper to allow validating output roots are safe at a given L1 head

* op-challenger: Don't pass L1Head around so much.

* op-challenger: Rename and add tests.

* Update bindings.

* Update op-ufm go.sum

* Rollback op-ufm changes.

* op-challenger: Alphabet VM does not require checking for consistency with L1 data

* op-challenger: Add error handling test.