deserializer: wrap fin.read() to catch EOF
Added comments to the label-compression code