Add a variant of Test.check that takes a parameter function that is applied to Test.Parameters.default