minor fix to compilerProofsTheory

since remove_mat_var lost its termination proof (and hence its
redefinition in compilerTerminationTheory).