Include the Travis-CI status badge in the README
Silence unused function compiler warnings
Fix timeouts for short doubles

Timeouts apparently don't actually work unless you use a test generator.
Which makes sense in hindsight.