use verbosity and prove to diagnose tests