Nuke spurious NULL checks in spcomp to appease Clang 3.5
Re-enable -Wformat and -Wformat-security in builds
Fix crash regression from typo in 892edd96508d