Sanity check constraints before synthesis.