Gracefully fail when compiling structs with too large array#4461

zhassan-aws merged 2 commits intomodel-checking:mainmodel-checking/kani:mainfrom

tautschnig:fix-2236-ice-too-big-for-archtautschnig/kani:fix-2236-ice-too-big-for-archCopy head branch name to clipboard