Include proofs in release.
Release