stream: Optimize `StringIStream.read_all`