pub fn seal(&mut self, upper: Antichain<Tr::Time>) {
        if self.upper != upper {
            self.insert(Tr::Batch::empty(self.upper.clone(), upper), None);
        }
    }
Inserts an empty batch up to `upper`.
differential-dataflow/src/operators/arrange/writer.rs