Arduino due - 32 bits ?

Yes the Optiboot and the new version of the IDE are certainly putting them back.

I don't think they'll be pursuing the Leonardo any more for the sole reason that there are so many out there that are exactly what the arduino people would make.