Function dump_rv 

pub fn dump_rv<T>(desc: &str, x: T)

Print a Crucible RegValue to stderr. Most TypeReprs used by crucible-mir are supported, but not all; if T uses an unsupported TypeRepr, this may print [unsupported] or throw an error.