Disable formal verif + increase minimum python version + fix license

Author: ChristopherRabotin

.github/workflows/formal_verification.yml

@@ -27,5 +27,5 @@ jobs:
           sed '17d' Cargo.toml > Cargo.toml.new
           mv Cargo.toml.new Cargo.toml
 
-      - name: Kani Rust Verifier
-        uses: model-checking/kani-github-action@0.23
+      # - name: Kani Rust Verifier
+      #   uses: model-checking/kani-github-action@0.23

Cargo.toml

@@ -9,7 +9,7 @@ repository = "https://github.com/nyx-space/hifitime"
 keywords = ["date", "time", "science", "leap-second", "no-std"]
 categories = ["date-and-time", "no-std"]
 readme = "README.md"
-license = "Apache-2.0"
+license = "MPL-2.0"
 exclude = ["*.tar.gz", "data/"]
 edition = "2021"
 

pyproject.toml

@@ -1,5 +1,5 @@
 [build-system]
-requires = ["maturin>=1.6,<1.7"]
+requires = ["maturin>=1.7,<1.8"]
 build-backend = "maturin"
 
 [tool.maturin]
@@ -8,7 +8,7 @@ features = ["python"]
 
 [project]
 name = "hifitime"
-requires-python = ">=3.7"
+requires-python = ">=3.9"
 classifiers = [
     "Development Status :: 5 - Production/Stable",
     "Topic :: Scientific/Engineering :: Astronomy",