Universal Approximation with Certified Networks