Adding separate test to test set.
Using other parameters to qsc to link.
Adding some type checking and trivial generation for separate.