Upgrade Proof to 0.0.42.

Closes #30.