Implement `BlockSupportsPeras` for all blocks (including HFC)

[amesgen]

Currently, in IntersectMBO/ouroboros-consensus#1581, BlockSupportsPeras is implemented trivially for all blocks in the same way. In reality, we want it to be implemented per-block; with test blocks supporting Peras, and all Cardano blocks (apart from an experimental one yet to define) should not support it (by defining a Void PerasCert).

This requires:

• Tweaking BlockSupportsPeras for convenience (such as deciding whether to use a a type/data family for PerasCert), eg a DerivingVia helper for blocks that don't support Peras would be nice.
• Defining a compositional instance for the Hard Fork Combinator