Viechtbauer's (2005) fixed-point iteration. REML rather than ML
for the same reason a sample variance divides by n - 1: ML does
not account for the degree of freedom spent estimating mu and is
biased DOWNWARD. The 1/sum(w) term in the numerator is exactly
that correction, and dropping it recovers the ML estimator, which
is returned alongside. Convergence is not guaranteed on a flat
likelihood, so it is reported rather than assumed.
