Benchmark harness. It generates synthetic cases, runs the engine on them and scores the result against known answers.