Adds optimistic multiprover to Op Succinct

[sign-of-bayblon]

The multiprover has the following features:

1. Changes the op succinct dispute game to wait for the l2 oracle to confirm time passing since submission
2. Changes the op succinct l2 output oracle to allow challenges when anyone produces a proof of a different un-proposed root.
3. Changes the op succinct l2 output oracle to allow trustless proving after the proposer(s) has been offline for a set period.
4. Adds a visible circuit breaker field to l2output oracle which is true only if a challenge has passed, this means there must be a bug in either succinct's prover, op kona, or risc0's prover.

This breaks compatibility with upstream op succinct.

test