The collector's tracing algorithm.
This function ensures all live objects are marked prior to transitioning to the collector's sweep phase.