Return all of the pork to the casserole along with any accumulated juices. Stir in the onions, garlic, carrots, chiles, bay leaves, cloves, lime juice and chicken stock. Season with salt and pepper and bring to a boil. Add the tomatoes, nestling them into the liquid. Cover and cook over low heat until the pork is very tender and the carrots are cooked through, about 3 hours. Discard the bay leaves and stir in the cilantro. Serve with rice and sliced jalapeños.