Refactor Span batch type

Remove unused methods

Explicit protocol constant

Update type of parentCheck and l1OriginCheck

Use require instead of assert in tests

Refactor RandomTx

Refactor Span batch tx tests

Adjust tnf to fix test

Update comments
Co-authored-by: pcw109550 <pcw109550@gmail.com>

op-node: Span Batch Limit

ci-builder: include solc 0.8.19

op-batcher: Span Batch Submission

The other 2 compiler versions are included in `ci-builder` so we should
also include `0.8.19`. This will save us from needing to download the
compiler in CI many times.

The following lines are logged in CI:

```
3[2K[⠆]3[2Ktalling solc version 0.8.19[⠰]3[2Ktalling solc version 0.8.19[⠔] Installing solc version 0.8.19
3[2K[⠒]3[2Kcessfully installed solc 0.8.19[⠑] Successfully installed solc 0.8.19
```

These lines are not logged for the other 2 solc versions that are
included in `ci-builder` because they are already downloaded.

Span batch derivation [by Test In Prod, rebased on develop, see #7289]

ci-builder: go version env var

Issue 131: Verify Initializer Values in Contract & Genesis Match

build(deps): bump viem from 1.17.1 to 1.18.0

Safe liveness checking module and guard

Bumps [viem](https://github.com/wagmi-dev/viem) from 1.17.1 to 1.18.0.
- [Release notes](https://github.com/wagmi-dev/viem/releases)
- [Commits](https://github.com/wagmi-dev/viem/compare/viem@1.17.1...viem@1.18.0)

---
updated-dependencies:
- dependency-name: viem
  dependency-type: direct:production
  update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>

chore: Remove version pin on `foundryup` in devnet job

fix guard?

temp: add commented out assertions in multistep test

test(ctb): Add pre-checks to owner management fuzz test

test(ctb): Add WrappedGuard to expose the ownersBefore set

Loosening this requirement should provide added flexibility when setting
up the liveness system

Also adds comments to clarify the logic.