Add negative tests for TxSha.