Roast Pork with Szechuan Hot Bean Sauce