At the end of each session:
- Decode GRANDPA justifications (block header data) for the blocks finalized throughout the session
- Detect the validators missing (never provided any justification throughout the session)
- Take the validators missing (with slash 20000 P3D penalties) out of the set.