Update tbf-testsuite-validator: Allow empty test cases, print coverage on program aborts and timeouts