Upgrade Proof to 0.0.48.

Closes #58.
Upgrade Proof to 0.0.50.

Closes #59.