Miri's memcpy shim accepts programs that violate the C spec

Miri implements `memcpy` as basically an alias of `copy_nonoverlapping`. That's not correct though: according to the C spec, `memcpy` is UB when the pointer is null or dangling, even if the copy is for 0 bytes. We should fix our shim.