Contribute to libraries and tools Amaru depends on

[abailly]

• https://github.com/txpipe/vrf
• https://github.com/txpipe/kes
• Praos headers validation properties and generators IntersectMBO/ouroboros-consensus#1285