No need for custom bootloaders and bit-banging USB though, right?
Why not just write the hex files to the 32u4 over SPI (in-circuit serial programming)?
Details start on page 368 of the datasheet:
(PS. this is the first time I am realising that Microchip now own all of Atmel’s products?!)