I tried Thonny and Mu, but ended up using Python Microbit.org/v/3 on the Chrome browser. It takes some getting used to, in terms of of how to use it. It does have the capability to turn your script code into a usable .hex file.
I like that it has the microbit graphic in the upper right hand corner. While working with terse temperature code, I noticed I was getting two different values when the program is run. The graphic in the upper right hand corner seems to be closer in accuracy than what is showing on the actual microbit.
I guess I will have to set up a small logger to see what is actually being captured by the program.
So far so good, next I might have to see how the BT works, not sure I like the pairing you have to go through.