Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers [pdf]