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