mp_integer: mpz_view class, plus some test additions.