Test a list of LawSets. This is exactly like testLaws but accepts a list of LawSets rather than a single one.