Added input checking to Hensel

I made the Hensel algorithm verify that modulo p, f(r) is 0 and f'(r)
is nonzero.