I'd think if the Astros go in 5, Verlander will have pitched that final game (I thought that Astros would need 4 man, but are going with 3 man). Is Scherzer going to go game 1? If so, they likely won't face each other. It may be Coles - which would be really Astos ace above Verlander. He's just been unhittable this postseason.
Anyway you slice it, as long as the Astros get by NYY, then I'll actually have a WS where I'm rooting for a team instead of against one (like I always do when NYY or BOS are in). I'll root for Astros because of Verlander, but if Nats wins, I'll be really happy with that too.