strengthen compile_special_thm, weaken COMPILER_RUN_INV

we know the handler will not change