mp_integer: change the division implementation for static_integer to use double limbs directly.
mp_integer: in the arithmetic tests, test also the case in which the input operands overlap with the output ones.