SERVER-89308 introduced property testing for jstests. This gave us a way to write property tests for end-to-end server behavior. It would also be useful to write property tests for sub-components in C++.

For example, we've wondered whether we could use property testing for:

•  isSubsetOf: If we determine one MatchExpression (m1) is a subset of another (m2), then any document m1 matches must also be matched by m2
• Verifying that plan cache index eligibility agrees with the query planner's logic for determining eligible indexes