You could also add in Bardolino by taking a bus from Verona to Bardolino, walking the lakeside path to Garda (about a 45-50 minute stroll), a boat from Garda to Sirmione then returning by bus from Sirmione to Verona. You actually have lots of options for a day trip.