This property test could take a randomly generated query, run explain to look at the winning and rejected plans, and then run every plan to assert the results are all the same.

There may be some plans we consider that are never run in our jstests because the data in the collection isn't the right distribution. It would be hard to find these issues without forcing each plan to run and asserting on the results. This is an area where PBT excels.