Add -i and -s flags to control transforms
Add -i and -s flags to control transforms

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