ct_property_test: add Triq support

Also, ensure that the right module's counterexample/0 is called.
I left it as is, but if @HansN agrees, I'll remove the spaces.