Monte Carlo Tree Diffusion for System 2 Planning