Self-Certifying Primal-Dual Optimization Proxies for Large-Scale Batch Economic Dispatch