Adds verbosity argument to NISTValidator

It should be the second argument. Valid values on VERBOSE and COMPACT. It
controls whether stack traces are printed for exceptions.