This check should be done for every published accumulator value to make sure the operator is only doing additions. See my comment on this post:Let's assign prime numbers to transactions instead of coins - #7 by denett
If this is done, I think the b^B * h^r = z check is sufficient.