Did the Astros and Alex Cora get what they deserved? How aware were opposing players? Here’s what those around the game told us.