Raising the Bar for Certified Adversarial Robustness with Diffusion Models