We should implement property-based testing for basic behavior of our most common agg stages. For example that $limit: X returns X documents or less. Or $group returns a set of documents with unique IDs.

These properties are not held surprisingly often, such as in SERVER-100299. It's valuable to have simple checks like these.

We should also test common customer patterns, such as sort-limit-skip, and optionally lookup-unwind