make compiler add empty module env in case of failed module

aim is to reduce a cheat in replCorrect to the env_rs_shift_to_menv
lemma. haven't updated replCorrectScript.sml yet, but have updated
compilerProofsScript.sml.