Leveraging the IRA to Achieve 80x30 in the US Electricity Sector