stephentu/silo — pull request #12 by kohler (2013-10-23 01:53:36+00:00)
Title: Fix derp in commit protocol

I took over the old guard()->tick() from the old commit protocol
w/o noticing that it was NOT in fact a read of the true global
tick. Thank you invariants for disabusing me.

Now tests pass with invariants on.