Currently, the main Concurrent Mark thread (the one that controls the concurrent marking phase and launches the concurrent workers) has many places bracketed with SuspendibleThreadSet::join()/leave(). Maybe we can consolidate some of them to make the code a little bit cleaner.