move-prover-test-utils cargo

This project isn't being tracked yet.