Thrown CaseResult in generator should have special display

[emil-e]

Asserting in generators is easy to do by mistake, especially in the state testing framework. To make it easier to diagnose, don't print it just as an unknown exception in Property.cpp.