We need this in order to validate Peras certificate that are a bit old, eg when they are contained in blocks.

This should be very easy by modifying PraosState.

It will require a chain replay, but that is fine.

Follow-up work would be to update the formal Agda header spec appropriately.