The residual formulation of the method of manufactured solutions for computationally efficient solution verification