Remove unwind attributes that are no longer needed with CBMC v6#3403

tautschnig merged 2 commits intomodel-checking:mainmodel-checking/kani:mainfrom

tautschnig:no-need-for-unwindtautschnig/kani:no-need-for-unwindCopy head branch name to clipboard