Polishing GGP infrastructure and adding some tests. There may be a bug with the prover still ...