Move test into Hoa\Json

Soundness tests are baesd on `Hoa\Json`. I have move those tests into `Hoa\Json`, see: (link coming)