add tutorial on the probabilities of necessity and sufficiency

[rfl-urbaniak]

In light of expanding SearchFor... to allow for sufficiency computations, we add a tutorial that accounts for this update, and eliminates reference to auxiliary nodes, updating and simplifying the explanation.

[rfl-urbaniak]

@eb8680 pushed