Of course a differential probe is the correct way to do it - the isolation transformer is just a workaround for people who are aware of the risks for their health - though widely used, at least in the past.
I would recommend a Testec TT-SI-9001 (25MHz, €265,-) or TT-SI-9101 (100MHz, €510,-). Net prices from Batronix, Germany.