Allow to skip or duplicate events.
Fix halting logic when running with FEROLs.
Actually go to SynchLoss state on MismatchDetected.
Report last sent event number instead of last generated one.
Report last seen event number.
Plug one more dead-lock in Halting.
Test case for state changes with FEROL input.
Improve stopping logic.
Minor adjustments.