Faster verification

We moved verification onto a streaming evaluator, so checks start the moment a draft exists instead of waiting for the full result. Median task time dropped from 24s to 12s.