Fast Exact Integer Roots

This is a sequel to a blog post I wrote a few years ago, using some ideas from number theory to develop an algorithm for computing kth roots of integers quickly. Open to feedback, and apologies for any sloppiness!