The only military technical manual I have access to is the old Marine Corps TM 05538C-23&P/2 (1984), which was the intermediate level maintenance and repair manual for the M16A2. It does not call for any sealant under the gas key, rather they suggest that shooting a few rounds after torquing and staking the screws will effect a seal. I have put together a few carriers this way and never had a problem.
Edit to add:
I just downloaded the Army M16A2 and M4 Carbine maintenance manual from 1991 and the Marine Corps manual updated to 2008. In the 1991 version the procedure is unchanged from the one I have. In the 2008 one the installation is unchanged, but they don't mention shooting a few rounds to seal it.
If somebody has decided a sealant is needed it must be a new development, or one outside of US military circles. I point out about 15 million AR-15 rifles were built and work fine without it, so I wouldn't worry about it.