Run TXF tests by default