gen-property-test

Generate fast-check property tests following project conventions