I know you solved your issue with a new laptop, but there's a few things worth trying if someone else has the problem and finds this thread...
The power scheme you use, and whether you boot the laptop plugged into the AC or on batteries, can have an effect on its performance. Some of the internal flags twiddled by the power schemes are sticky and the only way to get them set consistently from use to use is to do a full reboot of the laptop after each change.
I'm sure YMMV applies, but this has been my experience debugging weird software performance issues for wok.
The power scheme you use, and whether you boot the laptop plugged into the AC or on batteries, can have an effect on its performance. Some of the internal flags twiddled by the power schemes are sticky and the only way to get them set consistently from use to use is to do a full reboot of the laptop after each change.
I'm sure YMMV applies, but this has been my experience debugging weird software performance issues for wok.