Fast Solvers for Discrete Diffusion Models: Theory and Applications of High-Order Algorithms