Test safety checks in CI

[ZuseZ4]

Now that we catch too short slice shadows, we should add CI checks to make sure we don't regress.