Turing Verify Changelog