A Comprehensive Review of Diffusion Models in Smart Agriculture: Progress, Applications, and Challenges