Start allowing odd-sized operands in recursive BigInteger multiplication

This is part of the work to reduce the memory used by BigIntegers.  Also
add private Nth Root to RadixMath and optimize part of
BitShiftAccumulator, and add IsFinite property
continue work on allowing odd-sized operands