034a3b70

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

Mutation redundancy: add --redundancy toggle + kill example survivors

- Make the redundant-test analysis opt-out: driver 'run' gains
  --redundancy/--no-redundancy (default on), and mutationCheck takes a
  'redundancy ? true' arg.  Turn it off for suites where losing within-set
  fail-fast on killed mutants is too costly.
- Kill the 9 ConstFnLib survivors that the UTF-8 fix unmasked: add
  exhaustive majorityOf5 / majorityOf5Wrapper tests over all 32 boolean
  inputs against an (uninstrumented) reference, so every per-element
  ConstBool/ListLit mutation is caught.

Suite timing

Time to Start Worker time Duration Time to finish Idle
Config 8m03s 4s 4s 8m07s 8m03s
Eval 10m56s 36s 36s 11m32s 2m48s
Build 12m07s 16s - - 35s
Suite 8m03s 57s - - 57m51s