Added runVerbose

  runVerbose returns a detailed result (witness)
  run returns only whether the test passed or not
  Updated the examples to use both runVerbose and run