Automated Critique of Sketched Mechanisms