A survey of research papers in computer science will pretty quickly show that formal computer science is high mathematics. The methods and standards of proof are identical, modulo the techniques and concerns which distinguish C.S. as a seperate branch of mathematics.

Many of the courses for an undergraduate degree are likely to concentrate on the results and applications of research rather than the higher formalism. That is the advantage of those courses for programmers and designers.

Either degree allows one to assume a competence in formal logic, which is IMO the essential skill for programming.

I imagine that the change in requirements was forced by getting no educated applicants with the original tight buzzwords on their resume.