Drop the verbosity back down to a comfortable level

That is, dumping any extra information from Hypothesis clutters up the test
runner output too much to leave this on in general. :(