Test case for modsqrt -- actually checks mprand_range.