Text this: Pricing Options with Credit Risk in Markovian Regime-Switching Markets