run bench in CircleCI deploy; run only benchmarks in `make bench`

But actually, I think we should leave this out of the CI as benchmarks aren't really testing correctness and there's nothing in them to notice performance regression.

I'd rather set something up to run the benchmarks once per day and collect that data.