Added `allUnits` and supporting functions
Added isValid
Added isSolved
Increase test coverage for hidden singles
Added repeatInferences and solve