Added a demo illustrating a proof of inclusion using a plot. Some
cleanup elsewhere.