Explain exactly what a "stub" circuit is

In vanguards.md and in vanguards.rs, we don't totally explain what a "stub" circuit is. Some stub circuits are re-expanded; others are used as-is—which implies that they're not in some sense really "stubs". For more examples of unclear points see discussion on !2230 (merged).