Optimize MonitorSet

Update-phase did not pay attention to monitor liveliness status
Improve assertBooleanArrayEquals
Refactor test for DefaultParametricMonitor based on HasNext
Use aliveParameterMasks per MetaNode; Fix behaviour for multiple accepting state visits

Allows more efficient binding lookup without creation uncompressed representations.
New mask is a boolean array and masks the compressed representation.
Fix alivenessCalculator.
Test FiniteParametricProperty based on HasNext
Let accepting-state reachability-calculation be independent of a finite state space

Calculation was dependent of the current state in the fsm. This violates formalism-independence. It may be more accurate but the performance benefit is probably not that big, though.
Let StatefulMonitor check accepting state reachability on each update
Remove UnaryParametricMonitor
Fix bug related to acceptance state accessibility

MetaNode has to be copied *before* a monitor  is updated. Therefor the monitor has to be set in the Node prior.
Add PersistentParametricInstance to ensure deterministic test behaviour for improved BaseMonitor

Some instances got gc'ed before verification. New helper class makes sure they persist.
Affected: 'multipleAcceptingAndOpenTraces_monitorSetGrowsAsExpected'