Update library subtree to 2024-08-07#54

Merged

carolynzech merged 6 commits intomodel-checking:mainfrom

carolynzech:sync-2024-08-07

Aug 19, 2024

Commits on Aug 16, 2024

prevent merge conflicts
Carolyn Zech
committed
Squashed 'library/' changes from a2cf63619d7..9cc3bc6add3
Carolyn Zech
committed
Merge commit '9d7b4208352e30d0e2a3090a964ef6f711c407e9' into sync-2024-08-07
Carolyn Zech
committed
put kani imports back
Carolyn Zech
committed
Update toolchain to 2024-08-07
Carolyn Zech
committed
remove unstable ptr-to-ref-cast-checks and update submodules
Carolyn Zech
committed