Switched to mtl transformers for non-deterministic error checking.

Second change: The solver is now able to catch provably unsolvable Sudoku
configurations. (Documented in README)