Thankfully not - the file gets larger but as there's an MCU managing the writing to flash, it selects the right binary for the appropriate device.

There are some limitations around ensuring backwards compatibility: if you want to write a program that runs on both devices, you have to adhere to the constraints of the smaller one - but I think it's a fair tradeoff!