Ted Cruz has a valid plan to save a trillion a year by stopping a 2008 program