Simpler Certified Radius Maximization by Propagating Covariances