Moved this whole comment block into the `ArithmeticEncoder` class so it would show up as a class doc.