Lower checks and steps 5x when -test.short flag is set

See #35

Author: flyingmutant

engine.go

@@ -119,6 +119,11 @@ func MakeCheck(prop func(*T)) func(*testing.T) {
 func checkTB(tb tb, prop func(*T)) {
 	tb.Helper()
 
+	if testing.Short() {
+		flags.checks /= 5
+		flags.steps /= 5
+	}
+
 	start := time.Now()
 	valid, invalid, seed, buf, err1, err2 := doCheck(tb, flags.failfile, flags.checks, baseSeed(), prop)
 	dt := time.Since(start)