Implicit time integration for high-order compressible flow solvers