Some assumptions for StringUTF16 are not explicitly documented. For example, c2 expects byte and char arrays to have the same base offset and compatible index scales; indices in StringUTF16 are always in unit of chars.

The lack of documentation confused contributors and reviewers. Therefore, we should probably add them one way or the other, in the form of comments and/or asserts.