Drive the root verification by a root visitor.

The change separates out the traversal of the roots from the
verification of references.  As of this change, the logic benhind
traversing is wholly owned by the visitor.

Change-Id: Idc07755436f5cd18ba010ec24d12b6e22000c56e
3 files changed