v1.7.0

• Reduction now runs on a rebuilt reducer. Reduced counterexamples, and the number of property calls reduction makes, can differ from earlier releases.
• Reduction collects its detailed statistics only when a test sets .onReport, so runs without a report do less work.
• ExhaustReport keys and attributions have changed for reductions composed through binds.