Serialization, Tweaks
#CHANGE: BinaryFormatter classes now use the ObjectHeader during deserialization.