The GameSolver tests apply these validations to every action the solver returns to ensure the defined invariants hold.