Removed hash size proofs #16796

Job	Run time
fourmolu	44s
Check branch history	9s
build (8.10.7, ubuntu-latest)	31m 55s
cabal-format	4s
build (9.2.8, ubuntu-latest)	31m 55s
gen-hie	36s
build (9.6.6, ubuntu-latest)	28m 6s
Check if formal-ledger-specifications SRP is valid	11s
build (9.8.4, ubuntu-latest)	20m 59s
build (9.10.1, ubuntu-latest)	22m 50s
${{ matrix.package }}-${{ matrix.ghc }}-${{ matrix.os }}	1s
Tests completed	1s
Send a slack notification on \#ledger-internal if the nightly build failed	1s
	2h 17m 32s

Provide feedback