bdlcc_skiplist: Henry Mike's feedback, mostly bde verify feedback
bdlcc_skiplist: Henry Mike's feedback, mostly bde verify feedback

che2/bde,bloomberg/bde,bloomberg/bde,che2/bde,bloomberg/bde,che2/bde,bloomberg/bde,bloomberg/bde,che2/bde