I can now confirm that the window manager also crashes when switching workspaces while using Gnome 3 as shell.
I can now confirm that the window manager also crashes when switching workspaces while using Gnome 3 as shell.