Update Proof to 0.0.29.

Global variable leak detected and repaired.

Closes #80.