feat(contracts-periphery): Add attestation contract

prettier comments

feat(ctb): Add benchmark for `proveWithdrawalTransaction`

* op-node: Reduce wait time

* Update op-node/rollup/driver/sequencer.go
Co-authored-by: protolambda <proto@protolambda.com>

* op-node: fix remaining time

* op-node: handle when scheduling is bad

* op-node: improve sequencing scheduling to maximize building time, timeliness and tx inclusion

* op-node: estimate desired delay and sealing mode

* op-node: only re-schedule next sequencing action if head changes
Co-authored-by: protolambda <proto@protolambda.com>

The previous steps (required for this one) had the check changed script.
This means that the required build artifacts were not being created and
then cause this step to fail.

[RFC] Bedrock: rename "optimism" ENR key to "opstack"

specs: update predeploy spec

It fell out of date, so this commit updates the spec
to be more modern. It also removes the inlined solidity
interfaces for the contracts and instead adds a link
to the contract itself. This will help to prevent churn
with maintaining a copy of the interface inlined in
the spec. Some language is updated when describing each
predeploy. There is a tradeoff in having the contracts
themselves explain each function vs the spec explaining
each function.

feat(ctb): preserve legacy ETH invariant

ctb: Add echidna tests for Hashing

Preserves the invariant in LegacyERC20ETH that balanceOf(x) is always
the same as address(x).balance. balanceOf is the only function that was
not being blocked and contracts may exist that rely on this behavior.

fix(cmn): BaseServiceV2 options parsing bug

feat(cmn): make logLevel a default option

ctb: Add echidna tests for metering