Instant Pot Shrimp Biryani

Name: Instant Pot Shrimp Biryani
Ingredients: 1 cup whole-milk yogurt; 1/4 cup fresh mint leaves, chopped; 1/4 cup fresh cilantro leaves, chopped; 1 pound peeled and deveined large shrimp (16/20), tail on; 1 1/4 teaspoons madras curry powder; Kosher salt and freshly ground black pepper; 6 tablespoons unsalted butter; 1 small onion, chopped; 1 tablespoon chopped fresh ginger (from a 1-inch knob); 1/2 teaspoon ground turmeric; 1/2 teaspoon Spanish paprika; 4 cloves garlic, minced; 1 cup basmati rice