Added an aggregation operation that assumes a sorted rowset.

For cases in which we know the rows have been sorted in advance, this operation yield returns the current aggregate as soon as a change in keys is detected. This avoids having to load aggregate all rows before returning.