Constant MIN_ESTIMATED_CALLS_PER_INVARIANT_WORKER 

const MIN_ESTIMATED_CALLS_PER_INVARIANT_WORKER: u64 = _ /* 5_000_000u64 */;

Minimum estimated handler calls assigned to each auto invariant worker.