vvalue
genCoherentBlock :: (EraBlockBody era, Arbitrary (Tx TopTx era), Signable (KES c) ~ SignableRepresentation, PraosCrypto c)=> [AllIssuerKeys c r]-> Gen (Block (BHeader c) era)