Efficient Solvers For The Implicit Time Integration Of Matrix-Free High-Order Methods