9b943388

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

Mutation redundancy: drop unused redundancy.json read API

Nothing reads redundancy.json back, so remove the speculative
readRedundancyReportFile / readRedundancyReportFileIfExists /
RedundancyReportDecodeException (and now-unused imports) to keep weeder
green and the API minimal.  The JSON codec roundtrip is already covered
by jsonSpec.

Suite timing

Time to Start Worker time Duration Time to finish Idle
Config 59m32s 8s 8s 59m40s 59m32s
Eval 2h20m46s 2m06s 2m06s 2h22m52s 1h21m06s
Build 3h15m06s 8m33s 11m01s 3h26m08s 54m42s
Suite 59m32s 10m47s 2h26m35s 3h26m08s 3h15m20s

Timeline

0s2h21m2h22m3h16m3h19m3h20m3h21m3h22m3h23m3h24m