Make "magic used" icon and message clearer

Currently, leaving a branch open in a ST proof and using the "magic" rule in an ND proof will show the exact same magic icon and "magic was used" message. I think the distinction between the two should be made clearer.