I would probably address it, but I do agree with some of what the others have said about going faster versus deeper. Deeper seems to be better.

I teach math, so I will agree that Saxon is awful. It's way too repetitive and skips around a lot. I don't know many teachers who actually like it.

I can sympathize with you as a parent. My two daughters both only missed 9 SAT questions out of 220 in kindergarten. Neither one of them is adequately challenged in their current situation.