I think we're just approaching mafia strategy from different angles. If you crown a low impact player in order to minimize the impact of the double vote, you're also cutting yourself off from a mislynch you might need (no offense to Bur, of course). If you know you're going to kill Voxxicus/Iso/GJ or whoever on N1, there's no reason to cut yourself off from a potential mislynch on D1.
If you have a bunch of mislynches and you're confident you don't need another, that's fine, but you're not actually giving up info by killing the king each night. Either way, town has two dead bodies and one confirmed town to work with.
I think a 2v7 is probably too difficult for the wolves to win, given that town has an Innocent Child who is also a Double Voter. 9 players is also a mini, not a micro. An 11 player 3v8 is a mini, too, though that one gets you the three mislynch lylo and the extra wolf would make it not as much of a struggle. A 1v6 gets you the extra mislynch but it'd be almost impossible for the wolf to win that game, I think. It's probably fine as is, there isn't much you can do to squeeze extra mislynches out of micros really.
The simple solution to the double vote problem is just to make it not splittable, as a single vote that counts twice or something like that. This way it can still break ties and force through a lynch in F3 even if the players haven't crossvoted for some reason. I guess the King doesn't really need the vote, but you're simultaneously arguing for removing part of the town power while also claiming the game as-is is too wolf-sided.