Make sure that we suppress uninit at the right point in the symbolic
execution cycle.
Unbreak CONFIG_STATIC_ANALYSIS=0 build.
Merge github.com:sos22/SLI

Conflicts:
	sli/state_machine.cpp
Yet another timeout fix.
Redo timeout mechanism so that failing one interfering machine doesn't
fail all of them.
Yet more work on the BDD quickSimplify rules.
More timeout points when building probe CFGs.
Avoid a whole bunch of completely spurious timeouts.
Merge github.com:sos22/SLI