Improvements in the READMEs to reflect the new verification tools#24

db7 merged 2 commits intoopen-s4c:mainopen-s4c/vatomic:mainfrom

db7:doc-updatedb7/vatomic:doc-updateCopy head branch name to clipboard