[wip] prover tests