Increase the size of the garbage collector nursery to 64m. This greatly increases mutator productivity, and thus provides significant speedups on some examples.  The tradeoff with larger nurseries is the potential for long GC pause times. This is probably acceptable tradeoff for a tool like Cryptol, despite the potential for unresponsiveness at the REPL.
Increase the size of the garbage collector nursery to 64m.
This greatly increases mutator productivity, and thus provides
significant speedups on some examples.  The tradeoff with
larger nurseries is the potential for long GC pause times.
This is probably acceptable tradeoff for a tool like Cryptol,
despite the potential for unresponsiveness at the REPL.

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol