We wouldn't have this issue if map preferences worked

Problem solved-people can select only pro league maps if they want to. People can play Favela if they want to. Fix this issue and you don't need to change ranked or casual. You can still rework the maps and release them at the same time. Everybody wins.