Improve stats in conjecture generator, minor cleanup.