Add options to sat instance class

[Ben Provan-Bessell]

e.g. verbose, add other print statements to all of the feature generation to make it clear what is happening.