large shrimp, peeled and deveined • avocado oil • Roma tomatoes, divided • extra virgin olive oil, divided • unsalted butter • garlic, minced • large fennel bulb, thinly sliced (reserve fronds for garnish) • large yellow onion, thinly sliced • ⁄2 cup dry vermouth • smoked paprika • ⁄2 teaspoon red pepper flakes • ⁄2 cup heavy cream •