move_finalizers() moves every object from unreachable to collectable
or finalizers, unless the object is deallocated first.