Instant Pot Mexican Beans

Name: Instant Pot Mexican Beans
Prep time: 10 min
Cook time: 36 min
Total time: 46 min
Cuisine: Cuban, Latin American
Ingredients: 1 lb. dried pinto beans; 2 T olive oil, divided; 1 large onion, chopped in pieces about 1/2 inch; 1 large Poblano pepper, chopped in pieces about 1/4 inch; 1 large green bell pepper, chopped in pieces about 1/4 inch; 1 large red bell pepper, chopped in pieces about 1/4 inch; 1 T minced garlic (more or less, depending on whether or not you're fond of garlic); 1 T ground cumin; 2 tsp. dried Mexican oregano; 2 packets Goya Sazon (optional, but they add a nice flavor); 3 cups vegetable broth (see notes); salt and fresh-ground black pepper to taste; 2 large avocados, diced; 1 cup diced cherry tomatoes; 1/4 cup fresh squeezed lime juice (see notes); 1/2 small red onion, finely chopped; 1 small Poblano (Pasilla) pepper, finely chopped; 2 T olive oil; salt to taste