Add a benchmark for mixed synchronized sorted set ops
Rename file