Upgrade Proof to 0.0.43.

Closes #44.