Update `release.md` with Proof upgrade.

See #166.