Strategic Reasoning in Automated Mechanism Design