Upgrade Proof to 0.0.33.

Closes #30.