The norms there, from what I gather, are that you compile with runtime checks enabled unless you've used the SPARK prover tools to verify the absence of runtime errors, in which case you can safely disable runtime checks in your builds.
[0] https://docs.adacore.com/spark2014-docs/html/ug/en/usage_sce...