Document why we don't use TT to prune in search_pv()