* op-e2e: Add tests to check behaviour within the extended trace of the output root bisection.

* op-e2e: Add test that explicitly changes the claimed output root for the root block.