Proposed change: For internal development, we should include information about the current compiler version (e.g.: the commit hash or a hash of the kani-compiler binary. We should also include the toolchain version that's being used.

Motivation: This will alleviate the development pain of remembering to do a cargo clean whenever making changes to the compiler. Not doing so can manifest in weird / inconsistent results that end up taking time to debug.