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 th

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).