Add loop contracts and harness for ptr::swap_nonoverlapping_simple_untyped#152
Draft
qinheping wants to merge 4 commits intomodel-checking:mainfrom qinheping:swap_nonoverlapping_simple_untyped
+23-4
ptr::swap_nonoverlapping_simple_untyped#152