Once the sensor interrupt triggers the PIC has to decide how long to delay. By the time it decides essentially about 43 uS have elapsed. If it sets a timer compare value that has already passed it will not generate the interrupt to fire the spark.

Thanks for testing things. It's possible I screwed up somewhere between the code and spreadsheet. I'll keep working on it.