Publish verification checkpoint
Publish graph verification infrastructure roadmap
Publish complementary AccelGraph architecture and verification guides