Upgrade Cadence to 0.0.23.

Closes #59.