Fix sql-coverage on slow machines. It just wasn't running long enough.