Remove the stems and seeds from the dry chilies. Cut off the ends and shake out the seeds. Place into the instant pot and push the sautee button. Toast chilies until aromatic, about 5 minutes.
Remove form pot and set aside. Add 2 tablespoons vegetable oil to the instant pot on sautee mode. Season ribs on both sides with salt and pepper and place into the hot oil. Sear each side of the ribs for about 4 minutes until golden brown. Remove from pot.
Add remaining 1/2 tablespoon oil to the pot and add onion and garlic, cooking until soft, about 6 minutes. Frequently scrape off any browned bits from the bottom of the pot.
Add bay leaves, cinnamon sticks, oregano, cumin, coriander, ginger, peppercorns and cloves. Stir in vinegar and tomato paste. Combine and add in chilies and ribs to the instant pot. Pour beef stock on ribs and chilies making sure they are covered.
Place the lid on the instant pot and seal shut. Close the pressure release valve. Set the instant pot to manual, high pressure for 60 minutes. When cooking is complete, release the pressure and let the steam release. Once released, carefully open the pot.
Remove the bay leaves and cinnamon stick and discard. Remove beef and place it in a bowl. Use two forks to shred the beef.
For a spicier sauce: Place all of the chiles and half of the liquid from the instant pot in a blender. Blend until smooth. Pour the blended liquid back into the pot. Make tacos out of the meat and serve sauce in a small bowl on the side.
For a milder sauce: Place a strainer on top of a large bowl. Pour liquid from pressure cooker into strainer, discard everything in strainer. Make tacos out of the meat and serve this strained sauce in a small bowl on the side.