exact-integer-sqrt should continue the babylonian method in scheme.
The estimate given by the C code could be off by a large margin when
the result is inexact, converging far too slowly if we use simple
increments in Scheme.
Adding a sanity check in sexp_bignum_sqrt.
Need to GC preserve earlier in sexp_sqrt.