Fixing some whitespace.
Removing GameLogicContext from prover heirarchy -- it is now composed into the provers.
Making optimizing factories and unoptimizing factories distinct.