Upgrade Proof to 0.0.25.

I always upgrade Proof immediately for Cadence, because Proof depends on
Cadence, I want to ensure that they're always using the latest version
of each other, so that problems can be discovered sooner rather than
later.