Replaced --no-standard-checks with --no-unwinding-assertions on tests

Author: esteffin

Diff for: regression/book-examples/lock/unwind1.desc

@@ -1,6 +1,6 @@
 CORE
 lock.c
---unwind 1 --no-standard-checks
+--unwind 1 --no-unwinding-assertions
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

Diff for: regression/cbmc-library/fread-01/__fread_chk.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
---pointer-check --bounds-check -D_FORTIFY_SOURCE=2 -D__OPTIMIZE__=2 --unwindset fread:0 --no-standard-checks
+--pointer-check --bounds-check -D_FORTIFY_SOURCE=2 -D__OPTIMIZE__=2 --unwindset fread:0 --no-unwinding-assertions
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

Diff for: regression/cbmc-library/write-01/test.desc

@@ -1,6 +1,6 @@
 CORE unix
 main.c
---pointer-check --bounds-check --conversion-check --unwind 1 --no-standard-checks
+--pointer-check --bounds-check --conversion-check --unwind 1 --no-unwinding-assertions
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$