Add documentation for non-membership proofs

[colin-axner]

Similar to the Membership verification added in #307. I think the diagrams could be simpler (I'm not sure if the debugger screenshots are necessary