On the Verification Problem of Remote Direct Memory Access programs (Extended Version with Appendix) (ArXiv cs.LO Recent Papers, 2026)