Use direct loop in smoother.

When dividing by the diagonal matrix D, use a direct firedrake loop for efficiency and simplicity.
Fixed typo