* Begin simple invariant docgen script

* Support Echidna tests in invariant docgen

* Use custom natspec tags for invariant doc comments

* Handle multi-line headers for linting purposes

* Restack

* Upstack

* New doc

* New doc

* Add test file name to link in docgen script

* Relative URL path

* Use `path.join`

* Add task to `contracts-bedrock` workflow to check diff of `invariant-docs`

* Generate a table of contents for invariant docs

sdk: allow `deposit-eth` task to work with artifacts

This allows the script to be able to be used with
test networks more easily.

Usage:

```bash
export L1_RPC=...
export PRIVATE_KEY_DEPLOYER=0x...

npx hardhat deposit-eth \
    --l2-provider-url ... \
    --to 0x9C822C992b56A3bd35d16A089d99AEc870eF8d37 \
    --amount 0.0001 \
    --network final-migration-rehearsal
```

The following transactions were created using this commit
on the `final-migration-rehearsal` network:

L1 Deposit Transaction hash: 0x23f42a9d18b41bd32d90026b2324dbab64a45e942fe3897dd67a56989b940e11

L2 Withdrawing Transaction hash: 0x5b1108b61b7ec97f99c3c5c312913d465e87feaec2ab805087be55d342d5e17d

L1 Proving Withdrawal Transaction hash: 0xfe8c8beae69bdca1af35f04cfa635ea7d959abf0270f082a4ab41d680d7fe35b

L1 Finalizing Withdrawal Transaction hash: 0xcab6550b4a388e0c6fbb4b3e1604b42e2ca228aed8c5a1a8601e596f4a939e56

Update glossary.md

fixed a few typos

Update glossary.md

ci: Reduce block time in devnet tests

ci: Temporarily disable parallel e2e tests

ci: Make CodeCov checks informational

Disables parallel test execution so we can get to the bottom of the withdrawal test's fflakiness.

CodeCov needs some additional configuration to be useful with the monorepo. Setting checks to informational will prevent them from failing the build until we get CodeCov working properly.

op-node: Add default boot nodes

Merge pull request #4620 from ethereum-optimism/jg/check_l2_timestamp_against_l1_origin_in_derivation

op-node: Enforce min L2 timestamp

Adds default boot nodes. Specifiying `--bootnodes` will override them.

feat(l2g): instrument mint function

feat(op-e2e): Deep reorg test

This adds a check to the batch queue to verify that supplied batches
have a timestamp that is greater than or equal to the L1 origin timestamp.
The sequencer should not sequence batches like this, but it was not being
enforced in the derivation process.

Update

Fix order

wip

wip

Merge Josh's changes + disable parallel runs for `op-e2e` on circleCI

Reduce number of L2 blocks built by decreasing the `SeqWindowSize` + `L1BlockTime`

Submit batch for blocks derived from chain B, verify safe L2 head is accurate

Fixes

Bump to 3 sequence windows

Update

Remove batch submissions on reorged chain

Use `CrossLayerUser` instead of `BasicUser`

Fix

:broom:

de-spaghettify `setupReorgTest`; Correct comments

Instruments the mint function to write the recipient over to the list of
addresses that may have an ETH balance.

op-chain-ops: always use magic for transition/genesis block

No longer allow for a configurable L2 genesis/transition
block extradata. The extradata will always be set to
`BEDROCK`. This allows us to have automation to ensure that
the value set as the `L2OutputOracle.startingBlockNumber`
matches the actual L2 genesis/transition block.

Note that the term genesis block and transition block are
used interchangably, the term transition block is used
for upgraded networks.

ci: Fail CI if yarn.lock changes

fix(op-e2e): Include `action` tests in CI

op-chain-ops: export bedrock transition block extradata

Update docker publish target to oplabs-tools-artifacts/images

Makes the extradata for the bedrock transition block
a public variable. This is useful for exporting the
value to be imported in other packages where assertions
can be made to ensure that the extradata is correct.

When fetching the `L2OutputOracle`'s configured starting
block number, the L2 block with that number can be
fetched and then we can assert that it has the magic
extradata.

```bash
$ cast call 0x02Ac1923480E7fd234e7F2Fd11596b9F20372374 'startingBlockNumber()(uint256)'
3855343
```

```bash
$ cast block 3855343 --json | jq -r .extraData
0x424544524f434b
```

Now check like so:

```bash
$ cast --to-ascii 0x424544524f434b
BEDROCK
```