Fix ZDDTerm deserialization.
Fix ZDDTreeL serialization.
Remove obsolete serialization logic from ZDDTree.