Upgrade Proof and Cadence.

Upgrade Proof to 0.0.32.

Upgrade Cadnece to 0.0.23.

Closes #27.
Closes #26.