Add info messages for the SH pass.
Add info messages for the SH pass.

project-oak/rust-verification-tools,project-oak/rust-verification-tools,project-oak/rust-verification-tools,project-oak/rust-verification-tools