Hypothesis allows different settings through profile. In our case,
that would allows us to generate smaller samples on the ci.
This diff provides 2 profiles:
- dev: larger samples
- ci: lesser samples
That should be the other way around (largest on ci) but for now, that
will do.
[1] https://hypothesis.readthedocs.io/en/latest/settings.html#settings-profiles
Depends on D647