Function certify_config_table 

pub fn certify_config_table(table: &ConfigTable) -> Vec<bool>

Certify the config table END TO END with our SAT: for EACH config value k, prove config == k ⇒ the ONE reconfigurable array ≡ island k, for ALL inputs (bounded at width). Returns the per-config verdicts — all true ⇒ the config word losslessly selects any datapath on one physical array.