Function check_ingot

pub fn check_ingot(db: &mut Db, build_files: &BuildFiles) -> Vec<Diagnostic>