Update tests to use quickcheck v0.9.0 (#90)

This PR updates tests to use juvix-quickcheck v0.9.0 which is now
compatible with Juvix 0.5.4

test/Package.juvix

@@ -6,8 +6,5 @@ package : Package :=
   defaultPackage
     {name := "stdlib-test";
      dependencies := [ path "../"
-                     ; github
-                       "anoma"
-                       "juvix-quickcheck"
-                       "45981b666b67f8ceb7e01ff2b518165efc08f70c"
+                     ; github "anoma" "juvix-quickcheck" "v0.9.0"
                      ]};

test/Test.juvix

@@ -1,12 +1,11 @@
 module Test;
 
 import Stdlib.Prelude open;
-
+import Stdlib.Extra.Gcd open;
 import Stdlib.Trait.Ord as Ord;
 
 import Data.List open;
 import Data.String open;
-import Data.Int open;
 
 import Test.QuickCheckTest as QC;
 import Test.Arb as QC;

test/juvix.lock.yaml

@@ -1,16 +1,16 @@
-# This file was autogenerated by Juvix version 0.5.3.
+# This file was autogenerated by Juvix version 0.5.4.
 # Do not edit this file manually.
 
 dependencies:
 - path: ../
   dependencies: []
 - git:
     name: anoma_juvix-quickcheck
-    ref: 45981b666b67f8ceb7e01ff2b518165efc08f70c
+    ref: 37ddfcf56daa6220158aa840a6ae2eb9fb62ddfc
     url: https://github.com/anoma/juvix-quickcheck
   dependencies:
   - git:
-      name: stdlib
-      ref: 9a091c5453594ac66b3b25cde0c11a54a255a9c9
+      name: anoma_juvix-stdlib
+      ref: f68b0614ad695eaa13ead42f3466e0a78219f826
       url: https://github.com/anoma/juvix-stdlib
     dependencies: []