Disable benchmarks in CI

[marcotc]

With the introduction of new benchmarks, our CI builds have got very slow.

Benchmarks will not yield representative numbers when running in a shared cloud environment, like CircleCI for example.

We are in the process of executing our benchmarks in a dedicated environment, using internal infrastructure.

This PR removes benchmarks from our CI runs, as they are not providing much value when executed alongside tests.