Add support for Spyglass constraints, make SDC generator work at the project level