[Runtime checks]
This page verifies that runtime checking is enabled given the corresponding
config