New Physics in $B_q^0-\bar B_q^0$ Mixing: Present Challenges, Prospects, and Implications for $B_q^0\to\mu^+\mu^-$