Oddly, I just now booted to kernel 4.18.12 -- the version of kernel with which GNOME 3.28.x was performing really well. With no changes to the default boot parameters, GNOME 3.30.2's performance is again awful, stuttering. It seems GNOME 3.30.x + recent kernel = problem.