Improve bugpoint output a bit by outputting the actual instructions instead of