Separate Taiko L1 multi-prover logic into a separate verifier contract

[adaki2004]

Describe the feature request

Separating the current multi-prover (L1/libs/proofTypes/.) logic into a new verifier contract.

Protocol would be simplified and changes in the proving logic like: skipping N proofs, accepting super signatures would have nothing to do with the protocol and not imply protocol re-deployments.

Describe alternatives you've considered

No response

Additional context

Issues's dependency is that this #13745 PR is done.

[dantaik]

I would suggest this to be a low priority and lets get the tokenomics fully figured out before moving to multiproof support.

[dantaik]

This is done already.