Convert `CertState` to a type family #17213

Job	Run time
gen-hie	5m 52s
cabal-format	4s
Check branch history	12s
build (8.10.7, ubuntu-latest)	1h 14m 56s
build (9.2.8, ubuntu-latest)	28m 4s
fourmolu	47s
build (9.6.6, ubuntu-latest)	25m 42s
Check if formal-ledger-specifications SRP is valid	14s
build (9.8.4, ubuntu-latest)	21m 21s
build (9.10.1, ubuntu-latest)	20m 23s
${{ matrix.package }}-${{ matrix.ghc }}-${{ matrix.os }}	0s
Tests completed	1s
Send a slack notification on \#ledger-internal if the nightly build failed	0s
	2h 57m 36s

Provide feedback