Added -t all test target to run every correctness test.