Instant Pot Cuban Beef Stew

Ingredients

• 2 tablespoons ground cumin
• 1 tablespoon dried oregano
• 1 tablespoon smoked paprika
• 1 tablespoon salt
• 2 teaspoons chili powder
• 2 teaspoons black pepper
• .25 teaspoon ground allspice
• Pinch ground cloves
• .25 cup olive oil
• 2 tablespoons olive oil
• 2 pounds flank steak, cut to fit in Instant Pot
• 1 onion, diced
• 5 cloves garlic, smashed
• 2 tablespoons tomato paste
• 2 bay leaves
• 1 can (28 oz) diced tomatoes (with juice)
• 2 tablespoons Better Than Bouillon Sofrito Base
• 2 teaspoons Better Than Bouillon Roasted Beef Base
• .5 cup sliced pimiento-stuffed green olives
• .25 freshly squeezed lime juice
• 2 freshly squeezed lime juice
• 2 tablespoons finely chopped cilantro
• Lime wedges, for serving