Currently our property tests have a list of properties that our PBT runner references. Instead, the property should be at the top-level of the jstest, and split into several files and placed in the correct directory. This way each property can be included the correct passthroughs rather than them having to run together and exclude more passthroughs than needed.