Update dependency: deps/stable-mir-json_release (#760)

Co-authored-by: devops <devops@runtimeverification.com>

Author: rv-jenkins

deps/stable-mir-json

@@ -1 +1 @@
-b54152a3099c4756c31fea1a126c20167ae42798
+cf0410fba16002276f6fcdc195b7003e145558e9

deps/stable-mir-json_release

@@ -6,7 +6,7 @@
 
     flake-utils.url = "github:numtide/flake-utils";
 
-    stable-mir-json-flake.url = "github:runtimeverification/stable-mir-json/b54152a3099c4756c31fea1a126c20167ae42798";
+    stable-mir-json-flake.url = "github:runtimeverification/stable-mir-json/cf0410fba16002276f6fcdc195b7003e145558e9";
     stable-mir-json-flake = {
       inputs.nixpkgs.follows = "nixpkgs";
       inputs.flake-utils.follows = "flake-utils";