Constant MIN_RUNS_PER_INVARIANT_WORKER 

const MIN_RUNS_PER_INVARIANT_WORKER: u32 = 10_000;

Minimum number of logical runs assigned to each auto invariant worker at the default invariant depth.

Keeps short campaigns single-threaded and avoids producing many small rayon jobs.