emitting coverage as TC built-in metric

+ some UI tweaks,