The only beer I ever made that failed to carbonate (I did not try adding more yeast), was a 9.sumthing abv stout, fermented with Nottingham dry yeast.
Ever since, I've used bottling yeast (CBC a couple times, but now, exclusively EC-1118 cuz it's a lot cheaper, and I can't tell any difference) for
all of my 8% or higher abv beers.
Also: cheers
@BRbarfanTimmy for the update! How is the taste? Judging solely by the abv of that morebeer kit, I'm guessing they are aiming for "Founder's Dirty Bastard". But regardless, how does it taste?