Just dropping a note that I finally found where you can change the default music player for the lockscreen within settings > system > button settings. This is true as of 1.8.26.