pub fn validate_heap( code: &[u8], basic_blocks: &[usize], cfg_edges: &[(usize, usize)], heap_strategy: HeapStrategy) -> Result<(), ValidationError>