Automatically Auditing Large Language Models via Discrete Optimization