Upgrade Proof to 0.0.31.

Closes #113.