I somehow forgot that we allocate the initial ByteString to contain
the same number of bytes as the Text contains code units. This means
that we never need to ensure that the ByteString is big enough, nor
(with this observation) does a special-cased ASCII-only loop help
performance.