fix issues on large erase block size

allocate heap instead of stack for verify[]. otherwise it crashes on large erase block size e.g. 8MiB.
don't treat EOF as error on read() after rewinding for writing header. input file may be smaller than erase block size.

Change-Id: I1c9860e226456385b89866dfd01fe93fd6c446be