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.