Justin Verlander struck out a season-high 12 batters to help the Houston Astros defeat the Seattle Mariners 4-1.