old: zk proposer & contracts

[zobront]

This is a WIP to adapt the op-proposer for the ZK context. Specifically, we adapt the loopl2OO() function to perform the following:

1. Check the chain to find span batches that are ready to prove and queue them up.
2. Check the SP1 prover network for the statuses of all proofs and update the local DB (queuing up retries for shorter block ranges in the case of failed proofs).
3. Determine if any aggregate proofs are ready to be submitted (based on the returned span batch proofs) and queue them up.
4. Request all unrequested proofs from the prover network (both span and agg).
5. Submit any agg proofs that have been returned on chain to progress the chain.