run-trace-executions-metric now just shows the total number of times each kind of trace (label, guard or mp-tail) was executed
Added function for running a list of benchmarks a number of times
Commented-out some displays
Replaced and-expressions by when- and unless-expressions where needed