add low-level interface for mul/div_2exp for bignum shifting
prepare higher level mul/div_2exp to form base for bignum shiftingwq
adjust exports
robustified handling of maximum bignum length situations