Check ssa program validity

Add an option to check if an SSA program is valid: if each temp is only defined once.