VRF leader election

VRF leader election uses a Verifiable Random Function, embedded in Commonware's Simplex variants, to pick block proposers unpredictably without sacrificing safety or responsiveness. It also supplies post-facto execution randomness.