Be smarter about Overrun

[Seelengrab]

Currently, Overrun is simply caught and marked as a regular rejection, but it would be better to report to the user that an Overrun occurred. This way, a user is informed that their exploration exhausts the maximum number of choices per TestCase and that they should consider either increasing the memory limit through the configuration, or limit their maximum sizes so the choices taken in their particular implementation don't hit the overrun limits anymore.