Module alias 

Checkers for Alias and Owning properties.

Alias delegates to crate::verify::vm::alias::check_alias_vm; Owning is a simple liveness check on the target allocation.