Function testLaws

Attempts to find a counterexample for a set of Laws.

Meant to be called from inside a vitest test suite, perhaps inside some describe() block, but not inside a test() or it() block.

Test results will be shown grouped under the given LawSet.name. Laws found in the sets field will be shown under their own names as children.

Entries in the optional configuration will override any fast-check parameters found in the laws.