Fixed some bugs in solver and puzzle verification. Added some test
puzzles.