This function takes as single argument an object (phy), checks its
elements, and prints a diagnostic. All problems are printed with a
label: FATAL (will likely cause an error or a crash) or MODERATE (may
cause some problems).
This function is mainly intended for developers creating
"phylo"
objects from scratch.