io.encodings: speed up ascii and utf8 stream-read-until.