NorfairKing / validity Sponsor Star 165 Code Issues Pull requests Validity and validity-based testing invariants validity explicit-invariants invalid-values sanity-test Updated Jun 1, 2026 Haskell