Grant Proposal: faction — Formal, no_std Cluster Membership & Validator Lifecycle State Machine

[maverick]

hey there, grant applications should go here, the current round ends 7 July.