Remove Shelley style certs in Dijkstra era #19729

Job	Run time
fourmolu	39s
cabal-format	6s
shellcheck	6s
build (9.6.7, ubuntu-latest)	22m 41s
Check branch history	13s
Check that there are no additions of `undefined`s in the PR diff	16s
build (9.10.2, ubuntu-latest)	21m 42s
gen-hie	8m 6s
build (9.12.2, ubuntu-latest)	21m 33s
Check if formal-ledger-specifications SRP is valid	29s
build (9.8.4, ubuntu-latest)	22m 33s
Tests completed	4s
${{ matrix.package }}-${{ matrix.ghc }}-${{ matrix.os }}	1s
codegen	1s
Send a slack notification on \#ledger-internal if the nightly build failed	1s
	1h 38m 31s

Provide feedback