Update docs.

Make Travis badge target the master branch.
Fix validity tests.