Fixed HashCode bug in IntSet.
Reduced stdout output in ProblemGrinder.