Pressure-Cooked Chile Verde