ALTA: Compiler-Based Analysis of Transformers