Fixed some sc stuff; added only-requested flag
Added more samples
Changed defaults

Now we don't generalize by default and there is --gen flag
to enable generalization. Also relaxed limits (depth, codepth, arity).
Reformatting (can generate hs files for hipspec)