1 large bunch broccoli, cut into florets 1 tablespoon oil salt and pepper to taste 1 tablespoon oil 1 medium onion, diced 2 cloves garlic, chopped 1 teaspoon thyme, chopped 3 cups vegetable broth or chicken broth or chicken stock or ham broth 1 1/2 cups aged cheddar, shredded 1 cup milk or cream 1…