This adds a check to the batch queue to verify that supplied batches
have a timestamp that is greater than or equal to the L1 origin timestamp.
The sequencer should not sequence batches like this, but it was not being
enforced in the derivation process.