Keep children of not-finalized objects

If we have a garbage object that needs finalization we currently delete all its references. Bad finalize code might reasign these garbage object to the reachable graph.

Implement a way to keep the objects reachable as long as the parent object is not finalized.