Semafor first reported that Lummis would propose adding crypto language to the tax-and-spending bill last week.