Enhancing The Verification-Driven Learning Model For Data Structures With Visualization