docs: def UnfreezeTimestamp(self):
      """Unfreezes the timestamp used for resolve/delete database queries."""
      if not self.prev_frozen_timestamps:
        raise RuntimeError("Unbalanced UnfreezeTimestamp call.")
      self.frozen_timestamp = self.prev_frozen_timestamps.pop()