changed the disjoint_bufs_and_refs_ functions for the new heap model
changed the disjoint_bufs_and_refs_ functions for the new heap model

A-Manning/FStar,A-Manning/FStar,A-Manning/FStar,FStarLang/FStar,FStarLang/FStar,FStarLang/FStar