Do not use Cadence exposed by Proof.

Proof will no longer expose Cadence in the next version of Proof.

Closes #42.