[dv/sec_cm] Add assertions to check if local escalation can trigger fatal alerts

In EDN V2S review meeting, we identified a low risk coverage hole in terms of local escalation.

We need some assertion checks to ensure all local escalation will eventually trigger FSM fatal errors or alerts.

And we need to double check if all these assertions are written correctly.

> Estimate: 6

Start with the EDN V2S local-escalation logic and trace its paths into FSM fatal errors or alerts. Review how each assertion should cover that guarantee; done means all local-escalation paths have correctly reviewed checks and the relevant verification suite passes.

Written by the indexing model from the issue text.