Have you run with two thermocouple boards? If so you have maybe the OP could glean some information from how your code setup the two boards and what pins you used.
As for my opinion of the Adafruit driver(s). I never suggested they were not usable, I just found for me the few lines of code I needed to read the sensor was much smaller than the Adafruit library. However I will admit I don't have any info of the compiled size of the two approaches.