Security Innovation has quite a few pentesters who specialize in AWS. In fact, one of their clients _is_ AWS! Despite the generic-sounding name, the pentesters there are bona fide hackers.
Thanks, I'll check them out!
We've worked with Cure53 and NCC Group and both of them were great to work with.
Summit Route is my default starting point for all things AWS security related.