Fix normal-subnormal boundary and add more boundary cases in unit tests.
Remove unused BigInteger::operator+=(const BigInteger&)