has_undo_snapshot(timestamp) to query whether one can undo to a snapshot with a specific timestamp. Useful for notifications, that want to Undo a specific operation, to verify whether such operation is still valid.