Gaussian Shading: Provable Performance-Lossless Image Watermarking for Diffusion Models | Synapse