Update bgi_mul_bigint_by_int tests