Rename tc_verify to tc_verify.txt