Update the CHK Serializer to do lots more validation.
We now validate the types of the objects being read, and we mutate
the values appropriately.
We assert that we have enough values in the stream, and that we don't
have any duplicates, etc.