Clean up suggestion code.

The suggestions were not used at all.  Using suggestions seems to make
the solver slower, as it contradicts the default DPLL heuristics.