Enable Dijkstra Twiddling tests, relax some decoders in PV12 #23604

Job	Run time
cabal-format	7s
build (9.12.4, ubuntu-latest)	57s
shellcheck	8s
build (9.6.7, ubuntu-latest)	59s
gen-hie	10s
build (9.14.1, ubuntu-latest)	59s
changelog-lint	10s
build (9.8.4, ubuntu-latest)	55s
Check branch history	16s
build (9.10.3, ubuntu-latest)	59s
nix-formatter	7s
Check that there are no additions of `undefined`s in the PR diff	16s
fourmolu	43s
Check if formal-ledger-specifications SRP is valid	59s
Tests completed	3s
codegen	1s
${{ matrix.package }}-${{ matrix.ghc }}-${{ matrix.os }}	1s
Send a slack notification on \#ledger-internal if the nightly build failed	1s
Summarize test failures	1s
	7m 52s

Navigation Menu