Add criterium benchmarking