To reply to the OP
I brewed the Doppelbock from Brewing Classic Styles OG 1086 (8.7% ABV). I bottled in late June after fining with Gelatin and did not add any yeast at bottling time. Bulk primed with sucrose aiming for 2.5 volumes, according to my notes I forgot to gently stir the bloody mix in the bottling bucket so the priming sugar may not have been as evenly mixed as it should have been....
Anyway after 1-2 months of the beer stashed around 16-20c in the cupboard I was drinking fairly flat Doppelbock bottle after bottle and feeling pretty depressed about it but after 3.5 months I've finally had a bottle where the carbonation seems to be a bit more robust, the head retention is much improved and it looks like my patience will be rewarded.
Long story short: if I can fine with Gelatin, not top up fresh yeast at bottling, and fail to mix in my priming sugar properly but still looks like I'm finally going to end up with OK carb'd beer in the end then you probably don't need to go the extra mile when priming high gravity