The only thing we have at the moment that will change the speed of audio is soundpool which also changes the pitch, although there is a limit to the file sizes and is more suited to games.
Somebody did post a wrapped BASS library, some implementations of which include time stretching and pitch shifting, but last time I looked the download had been removed (it was external to the forum).
Audiotrack will be able to do the other two of your requirements but only works with raw audio, so if you want to use MP3's or ogg's etc you'll have to convert them first.
The android support for Audio is getting better, apparently from 4.2 (if I remember correctly) we should have access to the inbuilt codecs, which should permit access at the required level to use them with the audiotrack library, but I don't yet have the right hardware/OS to try it out. (this will need a library to make it accessible to Basic4Android).