Suppress cmake warning for OSX build
Undo the previous change which caused compile-errors
Update Find{MSize,MallocSize,MallocUsableSize}.cmake to handle the case where find_path fails
Improve higher order unification

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>