Optimal Order Quadrature Error Bounds for Infinite-Dimensional Higher-Order Digital Sequences