Added benchmark tests for the solver.

Uses the hardest.txt and top95.txt puzzles from Norvig's site to test.