Refresh benchmark docs with the May 21 local ASAN+coverage results and remove public run-artifact details.