Integrity tests

[dahlia]

Currently integrity between each triple (*.dat, *.yaml, and *.json) is only checked by humans. It is prone to have any errors, so we need to have some integration tests. For example, CI builds can check if a .yaml file and its corresponding .json file represent the same value.