Fai un ciclo con il quale scorri il lato destro ed il lato sinistro, tenendo 2 contatori che incrementi ad ogni ciclo e due bool con cui vedi se un lato è finito o no.
Quando il ciclo finisce, se i due contatori sono diversi, l'albero non è bilanciato.

Oltre alla funzione ricorsiva consigliata da GliderKite (un po' + complessa ma + pulita)