Gravar-mail: Compensating for the Absence of Selenocysteine in High-Molecular Weight Thioredoxin Reductases: The Electrophilic Activation Hypothesis