Disable tests for transitivity and symmetry (fix #23).

The properties tested by these tests should be true, but our test
case generator often fails to produce appropriate terms for testing
them. This leads to spurious errors, because "cannot find any inputs"
is treated like "property failed" by our test framework.

After improving the test case generation (see #31), the tests could
be activated again.