Update benchmarks to criterion 1.5

[AndreasPK]

As it stands it seems like:

• The benchmarks don't build with new versions of criterion.
• New versions of GHC don't build the old versions of criterion.

But old enough versions of criterion also don't build with new GHC versions (8.4+)

So there is currently no way to run the benchmarks using recent GHC versions.