fixed a bug in Board.isSolution01(). fixed potential race condition in GUI / Solver.