refactor(ledger): extract pure Praos selection primitives (#2566)
* refactor(ledger): extract pure Praos selection primitives Signed-off-by: cryptodj413 <[email protected]> * fix(ledger): address review Signed-off-by: cryptodj413 <[email protected]> --------- Signed-off-by: cryptodj413 <[email protected]>