chore: upgrade toolchain to 1.72.0

[ematipico]

Summary

Updates the toolchain to rust 1.72.0:

• removed atty, because now rust ships is_terminal, making atty obsolete;
• semantic model now uses Rc instead Arc. clippy found the issue, saying that Arc must now implement Sync and Send. Rc is used instead (we are not in a multi-thread context, Mutex is not needed);
• the rest is just clippy and format changes

Test Plan

Current CI should pass

[ematipico]

!bench_parser
!bench_formatter
!bench_analyzer