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.