[benchmark] Existential: shorter names

Renamed tests according to the naming convention proposed in PR #20334.

They now fit the 40 character limit and are structured into groups and variants.

Also extracted tags into 2 constants, to simplify the [BenchmarkInfo] expression.

Author: palimondo