ArithmeticCodingTest: Added random distribution test case, renamed an existing test case.
ArithmeticCoderBase: Added comment about mathematical invariants.