The core set of property tests we created in SERVER-89308 have caught 16+ bugs, and if backported to older versions would have caught serious issues such as SERVER-94908 and SERVER-94169.
We should backport the property tests to give us some safety when backporting code changes, so customers run into less issues on upgrade.