Variational Diffusion Models for Motion Correction: Comprehensive Evaluation | Synapse