Aha! Installing the libtxc_dxtn_s2tc0 package fixed it, and it ran smoothly (with a small periodic stutter). That fixed BananaBread too (well, it's still buggy, but sometimes it works correctly). That package seriously needs to be a default for Ubuntu, given how many WebGL pages I've seen it break.