The Continuum Onyx front light is plenty bright, but there's very little downside to having a second headlight (though I don't) and knowing you can always fall back on the dynamo-powered light in case the other light fails or runs out of battery.
The tail light is another matter. I have a slightly older version of the Onyx that doesn't have a dynamo-powered tail light, but someone at work does and he says he was told it was not very bright.
If you want to stretch your budget a bit, there's also the BMC Alpenchallenge, the cheapest with IGH has a MSRP of $1,299:
https://www.bmc-switzerland.com/us-e...enge-ac02-one/ , which I think is the one another co-worker has. That co-worker's had some issues with his (broken spokes and belt tension that's apparently tricky to tune are the biggest), although he rides it a lot more that I do my Continuum Onyx