Whitespace tidy.
Upgrade Cadence to 0.0.42.

Closes #401.