README improvements

- Remove old warning, now that verusfmt is successfully being used (and
  also under CI) for multiple projects
- Explicitly recommend pre-built binaries

README.md

@@ -2,11 +2,6 @@
 
 An opinionated formatter for [Verus] code.
 
-## WARNING
-
-`verusfmt` is highly experimental code. Make backups of your files before trying
-`verusfmt` on them.
-
 ## Updating verusfmt
 
 If you've installed a pre-built binary, you can update to the latest release using
@@ -20,19 +15,21 @@ We support multiple install methods:
 
 * [Latest release](https://github.com/verus-lang/verusfmt/releases/latest) using:
 
-  - <details><summary>Pre-built binary on Linux/MacOS (click to expand)</summary>
+  - Pre-built binaries (recommended)
 
-    ```sh
-    curl --proto '=https' --tlsv1.2 -LsSf https://github.com/verus-lang/verusfmt/releases/latest/download/verusfmt-installer.sh | sh
-    ```
-    </details>
+    + <details><summary>Pre-built binary on Linux/MacOS (click to expand)</summary>
 
-  - <details><summary>Pre-built binary on Windows (click to expand)</summary>
+      ```sh
+      curl --proto '=https' --tlsv1.2 -LsSf https://github.com/verus-lang/verusfmt/releases/latest/download/verusfmt-installer.sh | sh
+      ```
+      </details>
 
-    ```sh
-    irm https://github.com/verus-lang/verusfmt/releases/latest/download/verusfmt-installer.ps1 | iex
-    ```
-    </details>
+    + <details><summary>Pre-built binary on Windows (click to expand)</summary>
+
+      ```sh
+      irm https://github.com/verus-lang/verusfmt/releases/latest/download/verusfmt-installer.ps1 | iex
+      ```
+      </details>
 
   - <details><summary>cargo install (click to expand)</summary>
 
@@ -41,15 +38,6 @@ We support multiple install methods:
     ```
     </details>
 
-* Bleeding-edge latest git commit
-
-  - <details><summary>cargo install (click to expand)</summary>
-
-    ```sh
-    cargo install --git https://github.com/verus-lang/verusfmt --locked
-    ```
-
-
 These will install the `verusfmt` binary. You can then run it on a file using:
 
 ``` sh