Improved error checking in Solver

o When the time-derivative of a variable isn't
  defined, now gives a more useful error message

o Checking of all time derivative values only
  done if additional checking (CHECK > 2) enabled