Bring your meat to room temperature and in a small bowl mix together 2 cloves of minced garlic, 1 tablespoon olive oil, basil and 1 teaspoon salt. Rub all over the beef roast to coat, working it into the meat.
Preheat your Kitchenaid Multi-Cooker to the sear setting. If you are using a regular slow cooker, preheat a cast iron skillet to high. Add 1 tablespoon oil to the bottom of the cooker/pan and sear the meat for 5 minutes on each side, so that there is a browned appearance.
Remove beef, then stir in leeks and remaining one clove garlic, cook for 4 minutes until softened. Then add in carrots, remaining salt, olives, water and thyme. Nestle beef roast into carrots, but not touching the bottom of the cooker. Cook on low for 5-6 hours.
When roast is done, remove and set aside. Then take carrots out and mash in a bowl with a fork or potato masher. To the drippings in the pan, add the tapioca starch and stir until thickened. You can add a little water as needed, and adjust salt as needed.
Serve, cutting beef against the grain on top of carrot mash and with olives alongside.