Releasing version 2.0

Peregrine 2.0 contains the following new features:

- Universal leader support
- A new verification backend based on stage graphs