Compact Optimality Verification for Optimization Proxies