Function validate_capabilities 

pub fn validate_capabilities(
    program: &Program,
    arch: &ArchSpec,
) -> Vec<ValidationError>

Validate device capability constraints against the program.

Checks:

• If feed_forward is false, at most one measure instruction is allowed.
• If atom_reloading is false, no fill instruction is allowed.