UI and puzzle generation changes

checkbox to generate unique puzzles; if the checkbox is not checked, the
uniqueness of the puzzle solution is not checked.