SixthSense: Fast and Reliable Recognition of Dead Ends in MDPs