Bhyve - JSON file format snapshot

Bhyve, the BSD hypervisor, uses multiple files for the snapshot mechanism, one of them in particular is a binary file which makes the saved states difficult to analyze, making the debug process problematic. A simple debug process would help with the implementation of the the needed functionalities that would allow the hypervisor to reach a mature stage. At the same time the save/restore process as a whole considers that the data is saved and restored in the same order which may cause a vulnerability.