Modularity of Asymptotically Optimal Towers of Function Fields