We used to go the first week of May between the Summit and the D2 Summit, and even though it was pretty good crowd wise Tues-Thurs it was a total nightmare Fri, Sat and Sun. We started to hate going then.
So a few years ago we switched to the middle of May. This year we are going May 10-18. Even though we arrive the last day of the D2 every year we don’t notice them to much on Sun and by the Mon. after it is usually great for the rest of week. The crowds are low to moderate and there aren't mobs of cheerleaders to be seen anywhere. So for us, the middle of the month is the time we will always chose, so the 9-15 should be good for you. You may have to endure some large cheer groups on the 9th and maybe the 10th, but if you encounter any just flee in a different direction.
Hope you have a great time.