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.