UI unclear: reported results need to be clearer about the harness

Output concludes with something like this:

```

SUMMARY:
 ** 0 of 355 failed

VERIFICATION:- SUCCESSFUL

Verification Time: 1.0033967s
```

It's not clear (especially with a lot of properties above this) what harness had this result. It's too far away (e.g. 800+ properties between).