Lien is invalid because IRS did not verify notices of deficiency