Drop benchmarking requirements from CI.

[lovelydinosaur]

We don't run the benchmarking in CI, and I'd prefer that our standard CI runs are as sharp as possible.

Perhaps just move them directly into the benchmarking script, to help keep that standard setup minimal.