Verification quality assurance flow story

[gnunicorn]

• [ ] Document in-depth how the verification flow is meant to work
• [ ] Ensure that as many of those states are covered with rust e2ee tests in as many scenarios as seem plausible
• [ ] Unit-test the UI components of the flow to the extend feasible

What else could be done to increase our confidence that this works when upgrading?