Optimal Cleavage and Oxidative Folding of α-Conotoxin TxIB as a Therapeutic Candidate Peptide