Function lal::input::verify_dependencies_present

pub fn verify_dependencies_present(m: &Manifest) -> LalResult<()>

Basic part of input verifier - checks that everything is at least present