Concorda na questão de abreviar nomes., contudo os nomes dos municípios em seus respectivos trechos nas rodovias é essencial para a informação do rastreamento veícular.

So, I'm not an OSM administrator, but even though it's a highway, if a specific point or line is within the state in question, I do not think you're wrong to add the state with addr: state