492aae8c

Created Started Finished

By: Tom Sydney Kerckhove <syd@cs-syd.eu>

Fix what the review found

The comment on the mutation runner still said a timeout was counted as a
kill, which this branch had just stopped being true.

'Validity RunSoundness' was an instance nothing used, on a type with no
fields for it to say anything about.