op-node: Check withdrawals hash in P2P validation

[trianglesphere]

Description

Require P2P gossiped blocks to have empty withdrawals. Also clarify the specs around the handling of withdrawals in the op-node.

Tests

Unit tests for this new case

[codecov]

Codecov Report

Merging #8035 (62a804c) into develop (1d4afbf) will decrease coverage by 5.78%.
Report is 48 commits behind head on develop.
The diff coverage is n/a.

@@             Coverage Diff             @@
##           develop    #8035      +/-   ##
===========================================
- Coverage    46.07%   40.30%   -5.78%     
===========================================
  Files          170       94      -76     
  Lines         7121     2913    -4208     
  Branches      1138      612     -526     
===========================================
- Hits          3281     1174    -2107     
+ Misses        3717     1666    -2051     
+ Partials       123       73      -50     

Flag	Coverage Δ
cannon-go-tests	?
chain-mon-tests	?
common-ts-tests	?
contracts-bedrock-tests	40.30% <ø> (ø)
contracts-ts-tests	?
core-utils-tests	?
sdk-next-tests	?

Flags with carried forward coverage won't be shown. Click here to find out more.

see 76 files with indirect coverage changes

[semgrep-app]

Semgrep found 1 nil-check-after-call finding:

• op-node/p2p/node.go: L74-167

Potential p2pmetrics nil dereference when NewBandwidthCounter is called

_{Ignore this finding from nil-check-after-call.}