When refreshing metrics, batch redis pipeline into groups of 100
For really large sets, we can run out of memory.