Validate txs in model #2751

Job	Run time
Benchmarks (hydra-node, tx-cost, --output-directory $(pwd)/../benchmarks)	3m 10s
Build specification using nix	38s
Benchmarks (hydra-node, micro, -o $(pwd)/../benchmarks/ledger-bench.html)	2m 38s
Benchmarks (hydra-cluster, bench-e2e, datasets datasets/3-nodes.cbor datasets/1-node.cbor --outpu...	6m 44s
Benchmarks (plutus-merkle-tree, on-chain-cost, $(pwd)/../benchmarks)	1m 33s
Build & test (plutus-cbor)	1m 25s
Build haddock using nix	3m 34s
Build & test (plutus-merkle-tree)	1m 28s
Build & test (hydra-plutus)	1m 22s
Build & test (hydra-tui)	3m 40s
Build & test (hydra-node)	4m 37s
Build & test (hydra-cluster)	10m 17s
Publish benchmark results	14s
Documentation	1m 24s
Publish test results	19s
	43m 3s

Provide feedback