yes! prover9 builds, turning tests on