Added a `TestVerifier` and used to detect and fix bugs in witness reconstruction #1619

Job	Run time
test-integration-bumpver	9s
test-integration-ormolu	17s
build-vehicle / vehicle / Linux - GHC 9.4.8	1m 56s
build-vehicle / vehicle / macOS - GHC 9.4.8	1m 55s
build-vehicle / vehicle / Windows - GHC 9.4.8	2m 0s
build-vehicle-python / vehicle-python / Linux - x86_64	26m 12s
build-vehicle / vehicle / Linux - GHC 9.8.1	1m 51s
build-vehicle / vehicle / Linux - GHC 9.6.4	2m 9s
build-vehicle-python / vehicle-python / Linux - x86_64	22m 5s
build-vehicle / vehicle / Linux - GHC 9.2.8	2m 8s
build-vehicle-python / vehicle-python / macOS - x86_64	40m 38s
build-vehicle / vehicle / Linux - GHC 9.0.2	2m 7s
build-vehicle-python / vehicle-python / Windows - AMD64	32m 8s
build-vehicle / vehicle / Linux - GHC 8.10.7	2m 8s
build-vehicle / vehicle / Linux - GHC 9.4.8 -fnothunks	1m 56s
Publish package to PyPI	0s
Publish package to GitHub Releases	0s
	2h 19m 39s

Provide feedback