Improve bugpoint's error messages when it runs out of memory,