Now Compiled PropNets. We see a speedup of 24x compared to Prover.