The thing is, if she is not challenged in school then the ADHD becomes harder to manage. Plus, her self esteem may take a hit. I know it really helped my DC to get into the MCPS GTLD program, as it helped acknowledging that there were both strengths and weaknesses and knowing that there was a program focused on both. After, I was asked "do you think there were other kids like me at [former school]?" So I think there were a lot of years where these thoughts were going through DC's head of feeling different and less than the other "smart" kids but just not knowing how to express it.
That all said, you need to start by working on the biggest challenge right now. Sounds like you've identified that as the OCD/anxiety. I think it is a good plan to work on that, but I'd also take a step back and look at the school setting, perhaps not to make any changes, now but perhaps for middle school? (On the other hand, if you can swing it, a few years in a school like Feynman might not be a bad idea, as generally smaller settings are better for kids with anxiety and inattentive ADHD.)
DC is a few years older, so we've dropped the therapy and are working at home on the executive functioning (the Smart but Scattered book, which I probably bought 4-5 years ago, now seems much more helpful to me). So the game plan is lots of checklists (before school routine, after school routine, rules for electronics, chore lists), but then also knocking off learning all the basic life skills like cleaning a bedroom and cleaning up after making breakfast, etc.
Finally, for me one of the best resources on raising 2E kids is the Tilt Parenting podcasts. I find it so much easier to listen to a 30-40 minute interview than to read book after book after book.