increase range for now
Merge branch 'master' of github.com:regehr/random-testing-book
Delta debugging, test utility refactor
Header changes