Watchdog in Arduino Library - or at least support by bootloader

Well, size of the .hex file will always be somewhat more than twice the size of the actual code...
20k is a reasonable .hex file size for an 8k bootloader.