Scaling Safe Multi-Agent Control for Signal Temporal Logic Specifications