`DependGraph AccessOpaque` flag

[JasonGross]

I would like to be able to configure whether or not dpdgraph traverses the bodies of Qed-opaque constants, much like we have Unset Extraction AccessOpaque.