add test for pypy jit mpz.__mul__ bug