Update LLBC backend for Trait support and translation of projection#3807

thanhnguyen-aws merged 62 commits into

model-checking:mainmodel-checking/kani:mainfrom

thanhnguyen-aws:update-charonthanhnguyen-aws/kani:update-charonCopy head branch name to clipboard