Improved the shrinker, it now gives the smallest possible trace in every run of the ticket dispenser example. Added the property and shrinking stuff to ARSim (maybe this should be a separate module?). Cleaned up ServerTest