Upgrade Proof to 0.0.48.

Closes #28.
Upgrade Cadence to 0.0.41.

Closes #29.
Upgrade Staccato to 0.0.3.

Closes #30.