There are several deficiencies with concurrent mark code logging:

- many concurrent phases are missing
- phase log output is inconsistent
- tags do not include "marking" to allow easy filtering
- duplicate messages ("restart for overflow") at different levels

Fix this.