>=500Mhz microcontroller that works with arduino sketches?
I would guess that the Teensy 3.6 is the beefiest Arduino available right now. It runs at 180 MHz. Now clock speed is not everything. This can be illustrated by Arduino-Scheduler and context switch time for the supported boards. 

Cheers!