Merge some exceptions

[volkm]

We currently have a larger number of custom exceptions. At least I am not sure for some of them what the precise difference is.
Maybe we should merge some exceptions and only focus on more general types?

Some candidates for merging (based on suggestions from Opencode):

1. IllegalArgumentTypeException + IllegalArgumentValueException → IllegalArgumentException
2. InternalTypeErrorException → InternalException
3. ArgumentUnificationException + OptionUnificationException → new UnificationException

There are probably more

[tquatmann]

Related to that: I suggest to have a macro like STORM_LOG_ASSERT_RELEASE(...) that serves as a drop-in replacement for STORM_LOG_ASSERT but is also checked in release mode. (can be implemented using std::abort();).
This can replace all kinds of exceptions that indicate real implementation bugs and are not supposed to be catched.