Upgrade Proof to 0.0.43.

Fixed one test to use the new semantics for break up.

Closes #341.