Albero Binario , metodo ricorsivo per verificare i valori delle foglie più profonde

[andbin]

  else
   verifica(a.sinistro()) || verifica(a.destro());
 return true;

No, devi restituire il risultato di quella espressione in OR !
.. non un return così fisso.