Run predicate/reachability tests in CI

• Only test/programs/simple?
• Definitely include copies for test/programs/cpalien/enum-{sign,size}.c.