Note that you also need an extension to remove the alt-tab delay even if animations are disabled: https://extensions.gnome.org/extension/1317/alt-tab-switcher...

(though otherwise GNOME is pretty nice to use without animations)