Did you ever find a solution to this? I'd like to do the same thing, to ensure the dozens of advertising BLE devices is the one I'm looking for.
I see
easily lets you check the MAC address
is resolvable given a IRK. Seems it's not so easy to
actually resolve it.