Spread the tomatillos, anaheim chiles, and jalapeno peppers skin side up on a rimmed baking sheet. Put the baking sheet 6 inches below a broiler set to high, and broil until the tomatillos and peppers are blackened in spots, about 5 minutes. Flip the tomatillos and broil until the tomatillos are browned on the other side and the skins of the peppers are blackened all over, about another five minutes. Remove the baking sheet from the oven and let the peppers cool for a few minutes, then peel the blackened skin from the peppers and discard. (A little leftover blackened skin is fine.) Pour the contents of the baking sheet into a blender or food processor, including as much of the liquid as possible. Add the cilantro and the teaspoon of Kosher salt, then blend until smooth, about 30 seconds.

Mix the canned diced chiles and tomatillo salsa in a medium bowl.

Sprinkle the pork with the 2 teaspoons kosher salt. Heat the oil in the pressure cooker pot over medium-high heat until shimmering. (Saute mode in an electric PC). Brown the pork in two to three batches - put pork cubes in the pot without crowding, and brown each batch of pork on one side, about 4 minutes. Transfer the pork to a bowl with a slotted spoon, leaving as much fat behind as possible.

There will be extra fat in the pot from the pork; pour out the fat to get down to 1 tablespoon. Add the onions to the pot and sprinkle with ½ teaspoon of kosher salt. Saute the onions until softened and starting to brown around the edges, about 5 minutes, scraping often to release any browned pork bits from the bottom of the pot. Make a hole in the middle of the onions and add the garlic, cumin, coriander, and oregano. Cook until you smell the garlic and spices, about one minute, then stir into the onions.

Stir the chicken stock, salsa verde, pork, and any pork juices in the bowl into the pot. Lock the lid and cook at high pressure for 30 minutes in an Instant Pot or other electric PC, or for 25 minutes in a stovetop PC. Let the pressure come down naturally, about 20 minutes.

Stir in the lime juice. Taste and add more salt and pepper if it needs it. (Homemade salsa verde will need more salt; the quick version from cans probably does not - canned ingredients already have a lot of salt. Go by taste; If the chili tastes flat, it needs more salt.) Serve.