Thanks for the suggestion, will have a look.Perhaps you could test LMODroid (like I'm currently doing): it's LOS based and appears very smooth.
Downsides noticed are scant documentation, shorter battery life, some systemUI papercuts but otherwise everything works.
As it is a vanilla ROM (although I have Mind The GApps now) I foresee no troubles with Magisk MicroG...