Rigorous Uncertainty Quantification for Helmholtz-based EPT: Application to Uncertainty-Guided Post-processing