Update jsverify to 0.2.0