Fixed the bug caught by Robin in his own code for searchAndReplace, which we were using. :-\

dumbInsert and createRoot in BinarySearchTree seem to be verified correctly.