Upgrade Proof to 0.0.25.

Discovered issues in 0.0.24 while upgrading. Proof 0.0.25 contains fixes
to resolve these issues.