RandomizedMessage-InterceptionSmoothing: Gray-boxCertificatesforGraphNeuralNetworks