add BigInt from string constructor and initial integrity checks