Add noise to PaddingStatistics
It's safer to publish statistics if they have noise added.
Even though we round the totals, that's not enough to ensure privacy for a certain amount of user activity without added noise.
We need to fix this before 0.3.1 becomes stable.