Upgrade Proof to 0.0.47.

Closes #29.
Upgrade Strata to 0.0.23.

Closes #30.