Hashi: Light: Demo fix bugs

Fixed the bug of the puzzle verification; the final result must be a connected graph. Fixed the bug that the undo/redo shortcut key doesn't work.