One option that appears to work is to first import reticulate and arcpy, and then import arcgisbinding:
library(reticulate)
use_python("C:/Program Files/ArcGIS/Pro/bin/Python/envs/arcgispro-py3")
arcpy <- import("arcpy")
library(arcgisbinding)
arc.check_product()