I had to deal with this a while back and I recall finding some Google scripting thing that allowed me to delete chunks of emails at a time. I don’t recall exactly what it was though :(