make the default-times arg to defspec optional

If we make this optional, when simple-check gets time limited tests, we can use that instead by default. It also means users don't have to think about changing this for every defspec if they don't want to.