A New Hyperbolic Navier-Stokes Formulation and Efficient Reconstructed Discontinuous Galerkin Discretizations