Reads a String using UTF-8 decoding.
UTF-8
String readString() { var bs = readBlock32(); var s = utf8.decode(bs); return s; }