Fixed a few bugs and added sequentialization to the shrinker