fix(spec): use correct to field for contract creation deposits

contracts-bedrock: prevent overflows in ResourceMetering + prevent grief

feat(op-node): Peer Score Hardening

op-node: remove unused AddSafeAttributes function

batch_decoder: Reassemble Channels

feat(packages/atst): Final touches on the docs

Remove the unchecked arithmetic in favor of lowering the
max base fee. This will prevent situations in which the
max base fee causes gas consumption greater than the
block gas limit.

When multiplying a uint64 and uint128 and assigning to
a uint256, the solidity checked math applies to the
types of the numbers being multiplied. This means that
solidity catches an overflow when the result of larger than
a uint128 even though its assigned to a uint256.
This PR uses unchecked math to prevent this kind of overflow
instead of casting the values to uint256 because it is
safe to use unchecked math here. The following inequality
always holds true, which shows that it is safe:

``` solidity
type(uint64).max * type(uint128).max < type(uint256).max
```

Now that it is required in two cases:

- When `op-node` errors out when first started and exits.
- When `op-node` emits this error:

  ```
  stage 0 failed resetting: temp: failed to find the L2 Heads to start from: failed to fetch L2 block by hash 0x0000000000000000000000000000000000000000000000000000000000000000
  ```