added OSVVM random verification library to modules/aux_functions