As of Mp3tag v3.03b, the menu "View > Sort By" has a dedicated "Randomize" entry for random sorting aka shuffle.