Workaround pyglet.graphics.Batch memory leak by reusing  Batches -- finally gets memory usage to a more reasonable level