Upgrade Proof to 0.0.23.

No more hidden context, so an additional (one, single) layer of nesting
was required in most tests.