How to know if a 125kHz carrier is generated?

lrdazmmlk:
Does that print any values on the serial monitor?

Of itself, no, the capture and compare hardware in the AVR does not print anything to the serial monitor.
But it does provide data, which you could pass to serial.