Merge pull request crytic#1425 from crytic/nix-shell

flake: add bitwuzla and cvc5 to fuzz shell

Author: elopez

flake.nix

@@ -170,6 +170,8 @@
               (echidna pkgs)
               slither-analyzer
               foundry.defaultPackage.${system}
+              bitwuzla
+              cvc5
               z3
             ];
           };