side question, which CS class(es) teach about invariants?

Usually goes under Formal Methods: https://github.com/luigiapetre/Formal-Methods-Courses

There’s a book called Logic for Programmers: https://leanpub.com/logic#table-of-contents