revise add_value with add_values method to add a sorted array of numbers for balanced tree, add bst_well_formed? method to check if a bst is correctly constructed