fn invariant_worker_count_with_threads(
config: &InvariantConfig,
available_threads: usize,
invariant_campaign_anchors: usize,
) -> usizefn invariant_worker_count_with_threads(
config: &InvariantConfig,
available_threads: usize,
invariant_campaign_anchors: usize,
) -> usize