remove custom allocator for GMP#230

Draft

arvidn wants to merge 1 commit intomainfrom

no-custom-allocator

Commits on Feb 4, 2025

remove custom allocator for GMP. It has questionable utility and comes with heap corruption risks. Especially when init_gmp() is not called before everything else, and when asserting allow_integer_…
arvidn
committed