Test-time Verification via Optimal Transport: Coverage, ROC, & Sub-optimality