Ted Cruz Is Really Happy About John Boehner’s Resignation