document the CLI flag assume_no_casting_overflow#459

yoav-rodeh merged 2 commits intorelease/version_8.8.0Certora/Documentation:release/version_8.8.0from

yoav/assume-no-casting-overflowCertora/Documentation:yoav/assume-no-casting-overflowCopy head branch name to clipboard