Add Travis CI config
Increase default iterations for random tests