old_contents: """
  hosts is a list of (IP address, port)
  
  ordering can be either 'casual' or 'total'
  """
  
  config = {
      'hosts': [
          ('localhost', 16400),
          ('localhost', 16401),
      ],
      'ordering': 'casual',
  }
  
new_contents: """
  hosts is a list of (IP address, port)
  
  ordering can be either 'casual' or 'total'
  """
  
  config = {
      'hosts': [
          ('localhost', 16400),
          ('localhost', 16401),
          ('localhost', 16402),
          ('localhost', 16403),
          ('localhost', 16404),
          ('localhost', 16405),
      ],
      'ordering': 'casual',
  }
  
subject: Add more hosts to config.py