Update README about Princeton work on wavl trees.