Swpi configuration with additional options

Default configuration now has no path compression, no PDR, and two state invgen.

Added options for subsystem candidate term lifting and trivial invariant pruning.