Simplified the shrinkable scheduler significantly. Introduced a Sim type to represent the output of a shrinkable simulation.