Use Verific Net::{IsGnd,IsPwr} API in Verific bindings
Added support for memories to verific bindings