VeriHarness checks AI agent claims even when rollouts agree · Digg