Instant Pot Garlicky Cuban Pork - Chew Nibble Nosh

Ingredients

• 8 garlic cloves
• Juice of 1 grapefruit (about 2/3 cup)
• Finely grated zest of 1 lime
• Juice of 1 (zested) lime
• 3 Tbsp. olive oil
• 2 Tbsp. brown sugar
• 1 1/2 tsp. oregano
• 2 tsp. cumin
• 1 1/2 Tbsp. kosher salt, plus more to taste
• 1 5-7 lb. boneless pork shoulder, cut into large pieces
• 1 bay leaf
• tortillas, salsa, avocado, lime wedges for serving (optional)