From the above choices, I would go with Innuos server and AQUA DAC. One distinct advantage with AQUA is their R2R architecture which is upgradable so your DAC is pretty much future proof.
As far as Innuos goes, I would consider ZENith Mk3 as a starting point and later add their USB reclocker. This combination will get you very close to their Statement server that retails for twice as much.
The sound in my opinion from this DAC / Server combo is very analog like, smooth and detailed.
Both La Scala MKII and ZENith Mk3 fits nicely in your budget with room to grow in near future. By keeping streamer and DAC separate, you retain the maximum flexibility with future upgrades.
I suggest you contact almaaudio for their advise and see if they can arrange a loaner.