А если бы он и был, то не мог бы сосуществовать с СТС по Compare A,
т.к. обнуление всегда происходило бы по достижению минимального между
OCR0A и OCR0B значения.
В коде, на который Вы сослались, псевдообработчик (reti) прописан
для прерывания таймера1. Для прерываний таймера0, Timer0 Compare A Handler и Timer0 Compare B Handler, у Вас используется один
и тот же обработчик.
Итак, прерывания таймера0 по Compare A и Compare B работают.
И работают точно по datasheet'у.