New function to create symbolic SHC parameters with assumptions.

Allows both forms of parameters to be created and for different levels of stability to be specified. Assumptions are used enforce relationships between symbolic variables. This allows other SHCTools functions to "prove" things using them using isAlways.

Signed-off-by: Andrew D. Horchler <adh9@case.edu>