fixes:
- implicit use of time_limit as next_stop could lead to infinite loops
- proper handling of checked intervals
- proper registration of goals and invariants

first test shows use of experiments with event scheduling