arb: update testbench to eval before running checker; but it work