Release 0.1.15.
Merge branch `release-0.1.15` into `master`.
Add minimal test using Proof.

See #46.