Adds timing stats to the check execution and output

This adds some Benchmark.realtime() measurements when executing checks.