No it doesn't assume any such thing. It assumes that God is rational, nothing else.
And yes, it is not possible for God to declare devils to be saints. It would be a contradiction. He could no more do that then He could declare cubes to be spheres. He could turn a cube into a sphere but that...