Update to newer commit of blst-verification test.
Update to newer commit of blst-verification test.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script