pub fn run_wire_elimination<F: Field>( cost_model: CostModel, ir: ConstraintSystemIR<F>, ) -> ConstraintSystemIR<F>