Not implemented Assertion should end Exahype
Dominic and I spend quite some time trying to debug SRHD with FV before finding out that the issue was that FV doesn't support TBB (still produce a result but it may be corrupted by some races under certain specific condition). There was an assertion for it but since other non relevant assert broke before we didn't found it immediately.
Vasco suggested that therefore this king of important assert should end the execution no matter the compilation mode.