launch a test suite over some code annotated with (hyper)labels and computes corresponding coverage metrics