Math/Theoretical CS major: Match schools?