Used criterion for benchmarking, fixes #3.