1. Added class variable known_cell_count to class Sgame to bypass backtracking phase
(and additional attempts to solve cells in other ways) if the puzzle is already finished.

2. Made all_set a class variable in Sgame.  It should really be one in Cell, as having
the set representation known to Sgame breaks encapsulation.