Switch to C++20 in the whole phasar codebase and simplify the code by using C++20 features, where appropriate