normalize: add a test for WITH_CHECKS