Add TweetNaCl constant-time verification regression test#8769

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-366-dep-graph-testtautschnig/cbmc:fix-366-dep-graph-testCopy head branch name to clipboard