Print total time taken to recheck.

Summary: Math is hard. Make computers do it.

Reviewed By: @elgenie

Differential Revision: D1696218

Signature: t1:1696218:1416535925:e9e39f5c5d52dd00ebec86cf9b18ba65cf538f50