Restores the next snapshot under the same contract as undo.
bool redo() => _restore(_redoStack, _undoStack);