Upgrade Proof to 0.0.37.

Closes #15.