Prop/early release

...and this patch tightens release interrupt accounting when a task set has early-releasing tasks. Namely, these tasks don't generate release interrupts.