rust

refactor: harden runtime safety across client and prover #7842

Job	Run time
Test batched-merkle-tree-simulate	7m 8s
Test program-libs-slow	7m 7s
Test program-libs-fast	7m 6s
	21m 21s

Provide feedback