Add Cadence as dependency for testing.

Cadence will no longer be exposed by Proof. We're about to upgrade
Proof. In Proof 0.0.43, you'll no longer be able to use the Cadence that
Proof uses. You'll have to add Cadence as a development dependency to
use it for testing.

Closes #340.