[Random] Add WeightedRandomMap::IsEmpty().