Add carmen-verify command for checking index relations.