SERVER-108077 is a bug with non-determinism in histogram CE, causing plans to flip-flop as a result. We can introduce a PBT using our existing models (though we may only want to generate the data set once instead of per test case) and verify the property that all enumerated plans have the same CE (and cost) every time they are planned. Considerations - disabling the plan cache, using deterministic CE methods like histograms and sampling with internalQuerySamplingBySequentialScan enabled.