Remove dangerous optimization.

We were previously initializing a transition’s clock with all possible
values, which may be incorrect (a transition may never reach its higher
clock).