Update rationale and test vectors.