pub fn verify(store: &Store) -> Result<Vec<String>>
Returns the list of violations (empty == clean). Reports ALL of them.