Use @SuppressWarnings annotations instead of properties file, which allows us to
* skip hacky maven plugin workaround
* more precisely limit the scope of the exclusion

see comments in changelog

construct parallel oracles from cache oracles as one would in real scenarios

Co-authored-by: Joshua Moerman <[email protected]>

* make sure that automata are not only equivalent but also minimal
* for the state local input ITs this requires an additional minimization step before computing the enabled symbols

fixes #73

including necessary updates/refactorings

* Simplify the `initialSuffixes()` and `initialPrefixes()` methods in the LStar algorithm by finalizing them in the parent class (they can be set via constructor)
* Remove the `isOmegaCounterExample` method on `LassOracle`s which had very limited possibilities to make that decision (a boolean parameter). Instead this problem should be addressed in the `findCounterexample`/`processInput` methods directly.

apparently it causes problems on JDK11+