fix: Remove listverified from repl

- The implementation of listverified was removed in commit
  37dc1f5ca0, but it still shows up in
  the help and in the auto-complete grammar.
- Removed listverified where it still appears.

closes #6971

deltachat-repl/src/main.rs

@@ -228,9 +228,8 @@ const MESSAGE_COMMANDS: [&str; 9] = [
     "download",
     "react",
 ];
-const CONTACT_COMMANDS: [&str; 9] = [
+const CONTACT_COMMANDS: [&str; 8] = [
     "listcontacts",
-    "listverified",
     "addcontact",
     "contactinfo",
     "delcontact",