Bump jsverify version