Optionally attach `jsverify` statistics (counter-example, etc.) to output. 1. statistics from the first failure can be attached to "master" 2. statistics from each failure can be attached to the test's output. See how much output will conflict with AVA's output.