int_proxy reduce: tidy the backend interface and the retire harness#810

frankmcsherry wants to merge 4 commits into

TimelyDataflow:masterTimelyDataflow/differential-dataflow:masterfrom

frankmcsherry:int-proxy-tidy-reducefrankmcsherry/differential-dataflow:int-proxy-tidy-reduceCopy head branch name to clipboard