There's absolutely no hand waving in TCS. Everything is as rigorous as in any other subfield if math.

But asymptotics are heavily used, true. That is because often the theoretically interesting properties appear only when the inputs are huge (I'm sure this happens in other areas as well).