Upgrade to Proof 0.0.35.

Closes #162.