prove COMPILER_INV loop cheat in x64Correct

as enabled by the new compile_call_repl_step_thm