Adjust markCharsRedAtIndices according to property

1) Cardano.CLI.markCharsRedAtIndices generates strings of expected length
     Falsifiable (after 1 test):
       []
       ""
       4 /= 0

Fix by removing uncessary trailing reset ansi code

1) Cardano.CLI.markCharsRedAtIndices generates strings of expected length
     Falsifiable (after 7 tests and 8 shrinks):
       [1,0]
       "aa"
       aa
       11 /= 20

Fix by using sort in markCharsRedAtIndices

1) Cardano.CLI.markCharsRedAtIndices generates strings of expected length
     Falsifiable (after 8 tests and 6 shrinks):
       [3,2,2]
       "aaaa"
       aaaa
       13 /= 22

Fix by using nub in markCharsRedAtIndices

lib/cli/src/Cardano/CLI.hs

@@ -216,6 +216,8 @@ import Data.Char
     ( toLower )
 import Data.Either
     ( isRight )
+import Data.List
+    ( nub, sort )
 import Data.List.Extra
     ( enumerate )
 import Data.List.NonEmpty
@@ -520,7 +522,7 @@ decodeKey = \case
         unCharPos (CharPosition x) = x
 
 markCharsRedAtIndices :: Integral i => [i] -> String -> String
-markCharsRedAtIndices ixs txt = go 0 ixs txt ++ def
+markCharsRedAtIndices ixs = go 0 (sort $ nub ixs)
   where
     go _c [] [] = mempty
     go c (i:is) (s:ss)