Use spec from hydra-formal-specification #4583

Job	Run time
Build specification using nix	1m 34s
Benchmarks (hydra-node, tx-cost, --output-directory $(pwd)/../benchmarks)	2m 35s
Build & test (plutus-cbor)	1m 1s
Build haddock using nix	1m 1s
Benchmarks (hydra-node, micro, -o $(pwd)/../benchmarks/ledger-bench.html)	1m 30s
Build & test (plutus-merkle-tree)	1m 6s
Benchmarks (hydra-cluster, bench-e2e, datasets datasets/1-node.json datasets/3-nodes.json --outpu...	4m 47s
Build & test (hydra-plutus)	1m 1s
nix flake check	4m 46s
Benchmarks (plutus-merkle-tree, on-chain-cost, $(pwd)/../benchmarks)	1m 10s
Build & test (hydra-tui)	2m 4s
Build & test (hydra-node)	4m 27s
Build & test (hydra-cluster)	8m 9s
Publish benchmark results	5s
Publish test results	27s
Documentation	0s
	35m 43s

Provide feedback