Instant Pot Spinach Dal

Name: Instant Pot Spinach Dal
Ingredients: For the Dal:; 1 cup Toor Dal (split pigeon pea), rinsed well and strained; 1 teaspoon salt; 1 teaspoon Madras curry powder by Masala Mama; 1-2 Thai green chilis or 1 Serrano or ½ jalapeño, chopped (optional, for additional heat); 4 ounces spinach (about 2 cups chopped); 1 lime, cut into wedges; For the Tadka:; 1 tablespoon ghee, coconut, or olive oil; 1 teaspoon whole cumin seeds; ½ teaspoons brown mustard seeds; 3-4 medium cloves garlic, thinly sliced; 10-12 fresh curry leaves (optional, but recommend if available); 2 whole red chiles (optional)