Slim down the Travis config
Ensure that assertion failures don’t cause deadlocks