Instant Pot Chuck Roast (with Vegetables)

Ingredients

• 2 tablespoons extra virgin olive oil
• 3 lbs beef roast ([Note 1])
• 2 teaspoons fine sea salt
• 1 teaspoon black pepper (finely ground )
• 4 cups beef broth
• 2 tablespoons tomato paste
• 2 teaspoons dried rosemary
• 2 teaspoons dried thyme
• 1½ teaspoons garlic powder
• 2 bay leaves (optional)
• 1 small red onion (cut into 1-inch wedges)
• 3 large carrots (cut into 1-inch chunks)
• 1 lb fingerling potatoes (halved)
• 1 lb green beans (trimmed)
• 2 tablespoons cornstarch ([Note 3])
• 2 tablespoons cold water