add HaltJudgement.v that check whether instruction is halt.