Function validate_program 

pub fn validate_program(
    program: &Program,
    backend: &dyn Backend,
) -> Result<(), ValidationError>

Validate that backend supports every operation in program.