Release 4.0.0 now available

[mmontin]

We are pleased to announce that cooked-validators 4.0.0 is now available! The main changes this time are:

• default era is now Conway
• support for proposal procedures and associated witness
• full rework of the balancing mechanism
• new documentation on balancing

Take a look at the release notes for a full list of changes.