Clean up the script that is used to migrate legacy withdrawals.
This script is very important for testing the legacy withdrawal
migration.

A bug was introduced with https://github.com/ethereum-optimism/optimism/pull/4911
which was a sherlock audit fix. This was a bug because the change
resulted in the withdrawal hashes changing, meaning that the storage
slots computed client side also changed. This resulted in breaking the
script. This commit reverts this change. The changes landing in
https://github.com/ethereum-optimism/optimism/pull/5470 will cause the
buffer in the gas limit for the  migrated withdrawals to be too small,
so we can reintroduce this code behind a switch with the network.
Its not ideal that the migration code isn't going to match 1:1
with goerli but thats ok because we will be able to thoroughly
test it.

op-program: Populate preimage store

op-program now uses an in-memory key-value store as the backing for all data with the same key-based retrieval and deserialization as in non-fetching mode.

fix: error log content in start.go

op-e2e: fix TestSystemMockP2P - wait for peers to mesh

CI: fix how slither determines what to detect and when to fail.

op-program: Extract stub oracles to a reusable test package

op-chain-ops: prevent invalid decoding errors

Add a HeaderRLP method to BlockInfo

Changes sources.EthClient to reference data via the BLockInfo interface.
The actual implementation is a small wrapper over a Geth header to cache the block hash.

op-node: fix Gossip mesh parameter CLI overrides [sherlock issue fix]

op-node: L1BlockInfo MarshalBinary&UnmarshalBinary migrated to writer…

The incorrect shift in assembly detector is just broken. Where possible we should otherwise prefer
disabling detectors based on severity (currently only detecting 'high' or via triage mode so that
we can keep detecting other possibly dangerous instances of that detector.

This change implements the information provided in these slither
issues:
https://github.com/crytic/slither/issues/1408
https://github.com/crytic/slither-action/issues/38

Apparently 'fail_pedantic' defaults to true, which overrides the
'exclude_*' settings and causes failures on optimization and
informational severity findings.

As is this config should:
1. Fail only on High severity findings
2. Print Medium severity findings but not fail on them.

This commit also deletes the findings in the slither db which
were less than high severity. They are now simply ignored via this
corrected config.

specs: initial fault proof program/VM specs

op-program: Allow genesis block to have non-zero difficulty.

op-program: pre-image oracle communication

Co-authored-by: Adrian Sutton <adrian@oplabs.co>

op-program: pre-image oracle implementation

Normally only post-merge blocks (with difficulty of 0) are allowed, but the genesis block is often configured with non-zero difficulty even for chains that are post-merge from genesis.

Co-authored-by: Adrian Sutton <adrian@oplabs.co>