Given WT-12973's new ability to further reduce workloads to even smaller "counterexamples," it would be great if we could reduce the sizes of at least some of the workloads in test/model/workloads to make these counterexamples more obvious.