const MIN_ESTIMATED_CALLS_PER_INVARIANT_WORKER: u64 = _; // 5_000_000u64
Minimum estimated handler calls assigned to each auto invariant worker.