Prediction Sets for Counterfactual Decisions: Coverage, Optimality, and Conformal Prediction