Build the unix port then run ....../ports/unix/micropython-coverage midi2wav.py.

This will create tune.wav as output, which you can listen to using any old audio player.