Add logic for nodes to validate and reorg blocks based on L1 batches

[tomatoishealthy]

Background

Once the L2 consensus moves away from pBFT, we need to design a reorg mitigation mechanism to avoid forks caused by sequencer switching or malicious sequencers.

Approach

TODO