Change TLA+ Toolbox version to stable (#120117)

* Change TLA+ Toolbox version to stable

v.1.8.0 [is pre-release](https://github.com/tlaplus/tlaplus/releases), and the current cask on master is broken right now because the SHA is out of date.

It was recently updated in 3ee2cb466f only 10 days ago, so we shouldn't expect the SHA to be stable for very long on a pre-release version.

[Homebrew docs](https://docs.brew.sh/Acceptable-Casks#stable-versions) also require stable versions for this repo.

I went and found the latest stable release that distributed a macos archive on the project's releases page, and have updated the package to use that instead.

* Remove from prelease allowlist

* Add livecheck

* Run `brew style --fix "./Casks/tla-plus-toolbox.rb"` again

Co-authored-by: Panashe M. Fundira <panashe@dropbox.com>

Casks/tla-plus-toolbox.rb

@@ -1,6 +1,6 @@
 cask "tla-plus-toolbox" do
-  version "1.8.0"
-  sha256 "81cd2276215ceda37ca629f30886c82bdce5987133d585d3fcadd47cd3df861e"
+  version "1.7.1"
+  sha256 "78e7d0ecbcba63ef7f13f9f315bfb0365a4f1d952caaa11a0a6f86a1bae5ac99"
 
   url "https://github.com/tlaplus/tlaplus/releases/download/v#{version}/TLAToolbox-#{version}-macosx.cocoa.x86_64.zip",
       verified: "github.com/tlaplus/tlaplus/"
@@ -8,5 +8,10 @@ cask "tla-plus-toolbox" do
   desc "IDE for TLA+"
   homepage "https://lamport.azurewebsites.net/tla/toolbox.html"
 
+  livecheck do
+    url :homepage
+    regex(%r{href=.*?github.com/tlaplus/tlaplus/releases/tag/v?(\d+(?:\.\d+)+)[\s"]}i)
+  end
+
   app "TLA+ Toolbox.app"
 end

audit_exceptions/github_prerelease_allowlist.json

@@ -32,7 +32,6 @@
   "splitshow": "all",
   "steveschow-gfxcardstatus": "all",
   "themeengine": "all",
-  "tla-plus-toolbox": "all",
   "toggl-track": "all",
   "xit": "all"
 }