Augment "Terrible Error" error messages with more user-facing directions #247
Description
I think the IDE reports errors of the kind "The verification job #2 resulted in a terrible error: ..." when we get a runtime exception from the underlying tools. The name is cute (and amusing :)), but I'm not sure it's perfect for a user-facing error: I think we should clarify (a) that there is a bug: this error is unexpected, (b) where the user can find more information, and (c) what they should do (look it up and report it?).