Hi there !
I have no opinion on the modules you mentioned as I haven't tried any of them (except for the Quadrax which is well worth the price IMO), but I'd like to put one more on to your radar:
https://www.modulargrid.net/e/klavis-quadigy
This powerhouse of a module can deliver 4 ADSR envelopes and offers a lot of configuration options which you can conveniently save as presets and then recall. Freely assignable button on the interface, clockable LFO's with a clever stretching mechanism, etc. Worth a look, I think, I'm very happy with mine.
--- Voltage control all the things ---