Fix "huge-random-number"; add test for invertibility of big-square and big-sqrt