Upgrade Proof to 0.0.47.

Closes #158.
Upgrade all dependencies.

Upgrade all dependencies at once, instead of piecemeal.

Closes #158.