serialization of Determinants. std::weak_ptr interface implemented in util/serialization.h