kristenk authored May 05, 2018 and Mikhail Glushenkov committed May 07, 2018

Previously, --hide-successes caused solver-quickcheck to only print the seed
that was added in 4d83212f.  This commit removes
--hide-successes so that the test suite prints the test names with the seeds.