Self-Validating Numerics for Function Space Problems