Are two nucleons bound in lattice QCD for heavy quark masses? Consistency check with Lüscher’s finite volume formula