Rewrite solve-board to return lazy sequence