Remove check_trace_for_violation.sh. Not correct, and confusing to have it
around