Some provisional bignum debugging has begun to detect inconsistent BIGNUM