Author: Gábor Németh <homar@riseup.net>
Subject: Remove erroneous assert
Forwarded: https://github.com/bitwuzla/bitwuzla/commit/56671333

Zero mpz_size is valid, it means the stored value is zero.
All GMP functions will handle it correctly.
--- a/src/util/gmp_utils.cpp
+++ b/src/util/gmp_utils.cpp
@@ -44,7 +44,6 @@ mpz_get_ull(const mpz_t op)
     return limb;
   }
   assert(mp_bits_per_limb == 32);
-  assert(mpz_size(op) >= 1);
   uint64_t limb_lo = static_cast<uint64_t>(mpz_getlimbn(op, 0));
   uint64_t limb_hi = 0;
   if (mpz_size(op) >= 2)
