Gentlemen,
The 08p file is really a configuration file for the P&E programmer.
Within this setup file is some code that is loaded into RAM.
Within this code is different routines which assist in carrying out different functions, one of which is programming the flash.
Most of the file is setting up parameters and defining part specific commands etc.
I have forgotten all the details for MON08 stuff now but for instance in the S08 files there is a little programme that carries out the blank check this replaces the chips blank check indication because it doesn't work on an unsecured device as it can not be truly blank. It is a little piece of code that confirm every byte of flash, except the security byte is indeed $FF.
The device in question here does indeed do a verify whenever it does a programme. If you look in the file it is written ther quite clearly.