[core] Update the AcknowledgedCounterGenerator to use a power of two size for the window so a mask can be used instead of a modulo operation. This avoids issues when there is overflow of the id integer values to negative values.