CountingBloom: counters can overflow

[thomasmueller]

There is a risk of counter overflow in CountingBloom. Currently, it is detected and an exception is thrown (UnsupportedOperationException), but this isn't a great solution:

• currently the updated counts are not decremented
• the probability of such overflows should be documented