Added GetAndIncrease function to DistributedCounter.