Bug fix: restore solver state after simpligivation.
Clean-up warnings.
Add another example that should work.
Update for new plugin API
Turn on some examples