ct_property_test: add Triq support

Also, ensure that the right module's counterexample/0 is called.
Let's remove the spaces, no?