Accelerating Multi-Agent Planning Using Graph Transformers with Bounded Suboptimality