add an option to stop looking for a model only if an assertion failure is found but not a Wasm trap

[redianthus]

In testcomp for instance, there are a few cases where we find some traps coming from Wasm but they would not qualify as a way to reach one of the assertion violation:

$ fgrep "Trap:" **/stdout
269/stdout:Trap: memory heap buffer overflow
271/stdout:Trap: memory heap buffer overflow
273/stdout:Trap: memory heap buffer overflow
274/stdout:Trap: memory heap buffer overflow
607/stdout:Trap: out of bounds memory access

It would be nice to have an option to abort the current path when we have such a Wasm trap and keep searching in other paths.