Heterogeneity, Optimality, and Sensitivity in Causal Inference