Update vclock theory doc

Make 2.0 friendly and clean up a few things