DiFR: Inference Verification Despite Nondeterminism