Update Charon submodule to v0.1.69#4660

tautschnig merged 2 commits into

model-checking:mainmodel-checking/kani:mainfrom

tautschnig:charon-update-v0.1.69-prtautschnig/kani:charon-update-v0.1.69-prCopy head branch name to clipboard