Upgrade Proof to 0.0.37.

Closes #65.