There isn't a notching tool or machine that I am aware of that is rigid enough to provide the rigidity required to make the wear resistance advantage of carbide over HSS offset the disadvantage of it's brittility.
In other words, HSS (such as a good bi-metal hole saw) is more cost effective than carbide tooling for 99.9% of tube notching, even when dealing with materials like 4130N.