We currently don't test for savety, just for basic correctness.
This is especially important, given that we run some Cpp below us and if there is mismatch, this could spawn dragons, make pigs fly out of our noses or something worse.
Here is a basic CI draft implementing this
https://github.com/jonhoo/rust-ci-conf/blob/main/.github/workflows/safety.yml