ct_property_test: add Triq support

Also, ensure that the right module's counterexample/0 is called.