fixed bug in Wcoref2 where domain wasn't being frozen when deserializing a model