expensive checks + magma-2.28 = deadlock
magma, if found, is used to generate a list of tests for numbertheory-valuations-of-ideal-expensive.
With the upgrade to version 2.28-3, apparently the generated tests cause the test-ant script to go in an infinite loop