Add reference consistency checks

For currently indexed module (easy): somehow report a list of missing decls, that were targeted by refs.

Globally: less trivial. Maybe given a set of packages, only report missing decls among these packages?

Can Kythe do any of these for us in some way (maybe in the verifier mode?). @creachadair