Replaced --no-standard-checks with --no-unwinding-assertions on fread-01

Author: esteffin

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$