Should heap and stack exhaustion be catchable?

[sorear]

Right now we always abort, but I think the system is in a state where raising a ML exception is possible.

This would be particularly useful for a future REPL.

There are semantic issues here if we want to allow optimizations that reorder two writes to mutable objects with an allocation point between them.