Several error-generation bugfixes: strings of length 1 should completely disallow transpositions; zero-length strings should become OptChar.None; guaranteed error probability calculation was wrong because of inadvertent ToString() call on OptChar.