Add ZDDTree.toString for debugging purposes.
Fix ZDDTree serialization bug.