Board and Solver Bug Fixes. Style touch-ups.