Working benchmark, upgrade Cadence.

See #138.