Come to think of it, there is also Teensy++ 2.0, which is a USB-capable AVR (AT90USB1286) with 128k of flash.
http://www.pjrc.com/store/teensypp.html
That's probably the closest thing to a Leonard or Micro with more memory that you're likely to find.