[Update] VeriJSON (0.1.1)