Fine, but if I discover, as the design evolves, that the 40KV coil is more suitable I will let you know.
Excellent
What you say is sort of true but has no relevance to the design of the ignition system.
The reasoning is this.
There are two extreme situations with a vehicle:
(1) Engine not running and thus battery not charging: battery voltage 6.25V . In this situation the coil current will be lowest
(2) Engine running and battery on full charge: battery voltage 7.5V. In this situation the coil current will be maximum (in fact this will be the normal situation).
You may be thinking that a smaller battery would produce less current, but this is not true: the battery will supply whatever current it is asked to supply, but a bigger battery will supply the current for longer before it gets flat.
From this you can see that whatever battery you fit the current through the coil will be the same.
Of course, like all basic explanations, this is a gross simplification, but the fundamental principle is correct and, hopefully, gives you an idea about how a vehicle electrical supply works.
So now you are asking, well if the capacity of the battery makes no difference why the hell fit a bigger battery.
Here is the reason: When the engine is just ticking over there is effectively no battery charge and the battery is supplying the current that your bike demands, mainly the coil current but, at night, also the lights. Bearing in mind that the high performance coil will be taking around twice the current, you will need a battery of at least twice the capacity to maintain the length of time the bike will run off the battery.
A bigger battery has other advantages, but I won't load you with too much information in one go.
spec
PS: you are not considering a change to a 12V system in the future?