guix/tests/verify.sh