Add invariant check names to "check_everything"