Distributed Verification API docs

• distributed_verification APIs
• Rustc Internal APIs () required by Kani