The timer tick specification of 1ms +/- 4%. Using a complex GPIO you can implement a one-shot, the API guide has details about the same.
I'll check on the interrupt priority with our software team and let you know.
There is a RTOS being run and the application firmware runs on it. The larger firmware size is due to this. We're looking at this as well, will keep everyone posted through the forum.