Currently there isn't much visibility into what property-based tests are doing. Because Javascript allows lots of unusual behaviors, it's easy for the PBT to be doing something different than expected.

Let's print out the following data after the PBT finishes:

• Sample of queries, indexes, and documents used in the PBT
• Average number of queries/indexes/documents per run. Average number of documents returned by a query
• Any other diagnostic info that may be useful. Was the cache used? Which execution engine was used? Etc