contracts-bedrock: move forge check script to bash

fix(docs/op-stack): Changes related to the move from hardhat to foundry

Makes it much faster, will save a lot of time over many
CI runs. The startup time of `ts-node` vs `bash` is just
too large for such a simple script. We depend on unix
filesystems and bash for other commands.

feat(devnet): Set implementation of `FaultDisputeGame` in the factory

feat(specs): Remove duplicate config information

feat: golang checkl2 script

fix(ctb): FaultDisputeGame Tests Missing Proper Suffixes

It's not `cast wallet` that is insecure, just `cast wallet new`.

op-program: Increase log level to make debugging fpp goerli-verify failures easier

Migrate away from the hh version of check-l2 to a go implementation.
The go implementation is much faster so this will help to reduce time
in CI. It also removes the final dep on hh in the contracts-bedrock
package.

feat(ctb): Expose `move`, add `claimDataLen`, Fault game binding