Lots more assumed non NULL usage and other analyzer issues fixes.