I do think that Big-O notation and computational cost should be covered in a practical and intuitive way, but I'm not convinced of the utility of teaching Turing computability, programming language theory, or compiler design. You say that this "will all be of massive benefit when they're looking to actually distinguish themselves from the rest of the assembly-line game coders", but I think that anyone who wanted to get that real depth of knowledge and set themselves apart from the crowd should get a CS degree and (most importantly) continue learning on their own. What I'm envisioning for the trade school is purely what you describe as "a solid white-collar career path". I think there's a lot of people who are looking for a career that pays well and that they enjoy, but aren't interested in becoming an expert in their field, or making their career also their hobby.