Function lawSetTests

Just like LawSet, but with an empty list of laws, no name, and the sets list is deduped to avoid running the same LawSet twice.