Heat a large pan or the pressure cooker (or electric pressure cooker saute mode) and add oil. Brown the pork in batches, remove with a slotted spoon to a bowl.
If there's too much fat rendered from browning the pork, remove all but 2 tablespoons of it.
In the same pan saute the onion until soft, 3-4 minutes. Add the garlic and the spices and cook until aromatic.
Add pork, onion, garlic, spices, salsa verde, and chicken stock to the pressure cooker, seal, and cook for 30 minutes. Turn off and let cool for another 20-30 minutes before letting the steam out and opening.
Taste and adjust the seasonings, including adding lime for acid.
If you want it thicker, let simmer for 30 minutes.