[Add] VeriJSON (0.1.0)