ci: Update state verification script

Allow to re-enter into a parent of a leaf state when using
running history.
This is done to simplify restart of sampling when returning from
FOTA state.

Signed-off-by: Jan Tore Guggedal <jantore.guggedal@nordicsemi.no>

Author: jtguggedal

tests/state_machines/verify_machine.py

@@ -85,6 +85,7 @@ def compare_state_machines(c_code, plantuml):
            - PlantUML `[H*]` inside a composite state, with transitions targeting that composite
            - C implementation: tracking last active leaf state and restoring it on re-entry
            - These are semantically equivalent.
+           - It is allowed to re-enter into a parent state if the parent state has an initial transition to a child leaf state.
 
         IMPORTANT:
         - Focus on semantic equivalence, not syntactic exactness.