infra: add CONFIG_MARS_CHECKS