Update tests & docs for new atomic intrinsics without ordering restrictions#1487

adpaco merged 3 commits into

model-checking:mainmodel-checking/kani:mainfrom

adpaco:new-atomic-orderingsadpaco/rmc:new-atomic-orderingsCopy head branch name to clipboard