Add fine-grained timing data for grading w/ and w/o contracts