op-supervisor: Cross safe updates cycle detection + tests

[tyler-smith]

No description provided.

[axelKingsley]

FYI, go-lint check is failing:

golangci-lint run -E goimports,sqlclosecheck,bodyclose,asciicheck,misspell,errorlint --timeout 5m -e "errors.As" -e "errors.Is" ./...
op-supervisor/supervisor/backend/cross/cycle.go:43:3: SA9003: empty branch (staticcheck)
                if err != nil {
                ^
make: *** [Makefile:23: lint-go] Error 1

Exited with code exit status 2

[semgrep-app]

Semgrep found 1 sol-style-require-reason finding:

• packages/contracts-bedrock/src/L2/SuperchainWETH.sol
  • L95 - Triage

require() must include a reason string

_{Ignore this finding from sol-style-require-reason.}

Semgrep found 1 sol-style-notice-over-dev-natspec finding:

• packages/contracts-bedrock/src/cannon/interfaces/IPreimageOracle.sol
  • L25 - Triage

Prefer @notice over @dev in natspec comments

_{Ignore this finding from sol-style-notice-over-dev-natspec.}

Semgrep found 5 sol-style-input-arg-fmt findings:

• packages/contracts-bedrock/src/L2/SuperchainWETH.sol
  • L35 - Triage
  • L41 - Triage
  • L62 - Triage
  • L86 - Triage
  • L94 - Triage

Inputs to functions must be prepended with an underscore (_)

_{Ignore this finding from sol-style-input-arg-fmt.}