Visualize code coverage in a new format
Core will provide code coverage in a new format soon. Bridge should process this.
In addition, to considerable optimization and simplification, this feature as well as #9453, will result in more useful code coverage representation since one will see code coverage not only for a given verification task or all verification tasks but for programs in general.
Besides, I suggest to show top-level statistics for code coverage at all places where Bridge present links to details on code coverage.