Added a simple traffic lights example, which does indeed verify but requires a *seriously crazy* amount of time to do it.