fn auto_invariant_worker_count( available_threads: usize, invariant_campaign_anchors: usize, ) -> usize