Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers