Upgrade Proof to `*`.

Closes #10.