Harvey buys Benchmark, an asset management decision platform, for undisclosed sum