Add support for volatile_copy_memory, volatile_copy_nonoverlapping_memory and volatile_set_memory#4672

ivmat wants to merge 3 commits into

model-checking:mainmodel-checking/kani:mainfrom

ivmat:volatile-intrinsics-supportivmat/kani:volatile-intrinsics-supportCopy head branch name to clipboard