Reduce the number of object bits for refcell test#3656

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

zhassan-aws:mitigate-3611zhassan-aws/kani:mitigate-3611Copy head branch name to clipboard