Challenge 2: Verify the memory safery of core intrinsics using raw pointers

[jaisnan]

This issue is a tracking issue for Challenge 2: Verify the memory safery of core intrinsics using raw pointers.

Challenge link: https://model-checking.github.io/verify-rust-std/challenges/0002-intrinsics-memory.html

[jaisnan]

Tracking issues should have links to the challenges they're tracking.

1. In case, they're already added to the book, I am linking them to the issues.
2. If not, can we add the links to the challenges to the issue description once the PR for that challenge has been merged?