Just run CI + tests using the release compiler instead of the dev one. Not a big deal.

Also it’s trivial to change the dev compiler when debugging something that might be a compiler error (it never is though).