autogenerate-constraints

Autogenerate constraint checking code from constraints (C-*) that specify system limits, timeouts, d