Well, finding JRF’s ID with the remains isn’t good enough, in this day and age, for an official identification.
However, from a practical standpoint, it does, just as you said, rule out Mickey’s remains.
I’d guess that they feel morally certain that it’s JRF, but feel no need to rush a DNA...