Hierarchical Motion Planning under Probabilistic Temporal Tasks and Safe-Return Constraints