Hello,
I have noticed that the performances of mapbox-gl decreased between 0.7.x and 0.8.1. Very easy to reproduce, just any mapbox-gl map will do. When you drag the map around, you can feel a lag that wasn't there before (or not as much).
I am unsure when these issues started to happen as there has been many code changes between these two versions. Maybe because mapbox-gl now displays more labels (which is a good thing) ?
The performances also decreased in other browsers like Chrome but a little less noticeably
I am using Windows 8.1 x64 it that helps, tell me if you need more details
Fabien