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

adpaco-aws merged 3 commits intomodel-checking:mainmodel-checking/kani:mainfrom

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