Remove unused suppressions and uses of assert() from Phan's codebase