Vlc, atleast on android does randomly ordered sequence for music. The list is generated when you shuffle and it also shows how many tracks are remaining and total time for thoose tracks. No track repeats till a full sequence is over and i belive that is the best way of shuffling songs. But still you shoukd be removing thoose specific songs from your pkaylist by yourself