Is EDS Lite (Android Veracrypt) safe to use?

afaik it hasn’t been maintained in years and has custom implementations of all of them.

I’d recommend DroidFS instead.