Update jsverify to version 0.5.0