It’s tough for a newb to figure out all the potential combos of options, but yes that is an utterly excellent pocket light. The aluminum one is probably the best for EDC, with lighter weight and generally better thermal handling. The boost driver is a must, if you intend to use it regularly and not just have it be a show-off light.
I second this. I like my Noctigon KR4 with a boost driver... which is more or less the D4V2 with a tailswitch.
If I were doing it over, though, I'd probably get the D4K instead. Only a little larger than the D4V2 and KR4 with longer battery life since it has a larger battery. Not that I've ever needed more battery life...