Port benchmarks to criterion.rs

[romac]

https://github.com/japaric/criterion.rs