Certifying Guidance & Control Networks: Uncertainty Propagation to an Event Manifold