update dependency criterion in benchmark to 0.5.1

[striezel]

The currently used version 0.3.5 of criterion was released two years ago, so it's probably a good time to update to a more recent version.

[tesselode]

thank you!