Function validate 

pub fn validate(
    machines: &[RawMachine],
    contracts: &[Contract],
) -> (bool, Vec<LoadError>)

Fully validate a set of machine definitions (the first is the root). Returns the list of errors (empty => valid).