You are right that being a mathematician at Harvard, it hardly matters if you get tenure or not. (In fact, for a long time you basically had to win the Fields Medal to get tenure in math at Harvard). Harvard is nowhere near as well known in Computer Science, and is more of a "top 20" rather than "top 5" school.