Да ладно, это просто Gnome)
Или переходите на другую оболочку, или ждите gnome 3.34 (если точно помню)- там поправить должны.
Еще не уверен, но в арчлинукс есть патченый mutter-781835-workaround, с изменениями, не вошедшими в основную ветку.
Там и меню не лагает, и с общей производительностью норм. Может PPA есть для Ubuntu- поищите.