ast: Fix ASSIGN's and BOPs checks for different types
tests: Add test for suspicious pointer assignment for POD UDTs
tests: Check illegal assignments between derived UDT ptrs and normal ptrs